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

fYear

2009

fDate

17-19 Dec. 2009

Firstpage

351

Lastpage

355

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;

fLanguage

English

Publisher

ieee

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

Type

conf

DOI

10.1109/FCST.2009.75

Filename

5392894