Towards Security Analysis to Binding Update Protocol in Mobile IPv6 with Formal Method

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]

Authors

Jianxin Li

This author has not been identified. Look up 'Jianxin Li' in Google

Jinpeng Huai

This author has not been identified. Look up 'Jinpeng Huai' in Google

Qin Li

This author has not been identified. Look up 'Qin Li' in Google

Xianxian Li

This author has not been identified. Look up 'Xianxian Li' in Google