Jianxin Li, Jinpeng Huai, Qin Li, Xianxian Li. Towards Security Analysis to Binding Update Protocol in Mobile IPv6 with Formal Method. In Xiaohua Jia, Jie Wu, Yanxiang He, editors, Mobile Ad-hoc and Sensor Networks, First International Conference, MSN 2005, Wuhan, China, December 13-15, 2005, Proceedings. Volume 3794 of Lecture Notes in Computer Science, pages 1073-1080, Springer, 2005. [doi]
@inproceedings{LiHLL05,
title = {Towards Security Analysis to Binding Update Protocol in Mobile IPv6 with Formal Method},
author = {Jianxin Li and Jinpeng Huai and Qin Li and Xianxian Li},
year = {2005},
doi = {10.1007/11599463_105},
url = {http://dx.doi.org/10.1007/11599463_105},
tags = {protocol, analysis, security, mobile},
researchr = {https://researchr.org/publication/LiHLL05},
cites = {0},
citedby = {0},
pages = {1073-1080},
booktitle = {Mobile Ad-hoc and Sensor Networks, First International Conference, MSN 2005, Wuhan, China, December 13-15, 2005, Proceedings},
editor = {Xiaohua Jia and Jie Wu and Yanxiang He},
volume = {3794},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {3-540-30856-3},
}