Title :
Comments on Kang-Park´s Security Scheme for Fast Handover in Hierarchical Mobile IPv6
Author :
You, Ilsun ; Sakurai, Kouichi ; Hori, Yoshiaki
Author_Institution :
Sch. of Inf. Sci., Korean Bible Univ., Seoul, South Korea
Abstract :
While gracefully combining FMIPv6 and HMIPv6 together, F-HMIPv6 enables the best performance in terms of handover latency and signaling overhead. Recently, to protect F-HMIPv6, Kang and Park proposed a security scheme. This scheme successfully achieves seamless integration with FHMIPv6 while providing the session key exchange as well as the mobile node authentication. In this paper, Kang-Park´s scheme is formally verified based on BAN-logic, and then its weaknesses and related attacks are discussed.
Keywords :
IP networks; computer network security; formal logic; formal verification; mobile computing; BAN-logic; FMIPv6; Kang-Park security scheme; formal verification; handover latency; hierarchical mobile IPv6; mobile node authentication; session key exchange; signaling overhead; Authentication; Computer science; Computer security; Cryptography; Delay; Information science; Information security; Mobile computing; Protection; Protocols; BAN-logic; F-HMIPv6; MIPv6; Security;
Conference_Titel :
Frontier of Computer Science and Technology, 2009. FCST '09. Fourth International Conference on
Conference_Location :
Shanghai
Print_ISBN :
978-0-7695-3932-4
Electronic_ISBN :
978-1-4244-5467-9
DOI :
10.1109/FCST.2009.75
