Efficient unilateral authentication mechanism for MIPv6

被引:0
|
作者
Jeong, Yoon-Su [1 ]
Lee, Bong-Keun
Lee, Keon-Myung
Lee, Sang-Ho
机构
[1] Chungbuk Natl Univ, Dept Comp Sci, Chungbuk, South Korea
[2] Busan Kyungsang Coll, Dept Multimedia Comp, Chungbuk, South Korea
关键词
D O I
暂无
中图分类号
TP301 [理论、方法];
学科分类号
081202 ;
摘要
We present a unilateral authentication protocol for protecting IPv6 networks against abuse of mobile IPv6 primitives. The proposed protocol imposes minimal computational requirements on mobile nodes, uses as few messages as possible. It is also easy to implement, economic to deploy and lightweight in use. We formally verifies the correctness of the protocol using the finite-state analysis tool mur phi, which has been used previously to analyze hardware designs and security properties of several protocols.
引用
收藏
页码:908 / 911
页数:4
相关论文
共 50 条
  • [1] An efficient authentication mechanism for fast mobility service in MIPv6
    Lee, Seung-Yeon
    Huh, Eui-Nam
    Kim, Yang-Woo
    Lee, Kyesan
    [J]. COMPUTATIONAL SCIENCE AND ITS APPLICATIONS - ICCSA 2006, PT 2, 2006, 3981 : 905 - 914
  • [2] Child-proof authentication for MIPv6 (CAM)
    O'Shea, G
    Roe, M
    [J]. ACM SIGCOMM COMPUTER COMMUNICATION REVIEW, 2001, 31 (02) : 4 - 8
  • [3] A study on safe authentication processing in MIPv6 multicast
    Ko, Hoon
    Jang, Uijin
    Kim, Seonho
    [J]. Advances in Computational Methods in Sciences and Engineering 2005, Vols 4 A & 4 B, 2005, 4A-4B : 1702 - 1705
  • [4] Comparative Analysis of Proxy MIPv6 and Fast MIPv6
    Diab, Ali
    Mitschele-Thiel, Andreas
    [J]. MOBIWAC09: PROCEEDINGS OF THE SEVENTH ACM INTERNATIONAL SYMPOSIUM ON MOBILITY MANAGEMENT AND WIRELESS ACCESS, 2009, : 26 - 33
  • [5] Mechanism of authenticating a MAP in hierarchical MIPv6
    Choi, Jonghyoun
    Mun, Youngsong
    [J]. ADVANCES IN GRID AND PERVASIVE COMPUTING, PROCEEDINGS, 2006, 3947 : 577 - 586
  • [6] An efficient scheme for lifetime setting in the MIPv6
    Kim, Hye-Young
    Shin, Jitae
    [J]. UBIQUITOUS INTELLIGENCE AND COMPUTING, PROCEEDINGS, 2007, 4611 : 777 - +
  • [7] Analysis of Proxy MIPv6 Performance compared to Fast MIPv6
    Diab, Ali
    Mitschele-Thiel, Andreas
    Getov, Kalin
    Blume, Oliver
    [J]. 2008 IEEE 33RD CONFERENCE ON LOCAL COMPUTER NETWORKS, VOLS 1 AND 2, 2008, : 568 - +
  • [8] Design and Formal Analysis of a Lightweight MIPv6 Authentication Scheme
    He, Daojing
    Lu, Xintong
    Li, Xuru
    Chan, Sammy
    Guizani, Mohsen
    [J]. IEEE INTERNET OF THINGS JOURNAL, 2022, 9 (19) : 19238 - 19245
  • [9] 浅析MIPv6
    潘艳
    [J]. 硅谷, 2009, (13) : 50 - 50
  • [10] Adaptive selection of MIPv6 and hierarchical MIPv6 for minimizing signaling cost
    Kim, Younghyun
    Mun, Youngsong
    [J]. COMPUTATIONAL SCIENCE AND ITS APPLICATIONS - ICCSA 2006, PT 2, 2006, 3981 : 611 - 620