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]
Abstract is missing.