A security enhanced authentication and key distribution protocol for wireless networks

被引:1
|
作者
Lv, Chao [2 ]
Ma, Maode [1 ]
Li, Hui [2 ]
Ma, Jianfeng [2 ]
Niu, Ben [2 ]
机构
[1] Nanyang Technol Univ, Sch Elect & Elect Engn, Singapore 639798, Singapore
[2] Xidian Univ, Sch Telecommun Engn, Xian, Peoples R China
基金
中国国家自然科学基金;
关键词
authentication protocol; key distribution; formal verification; AVISPA; MOBILE NETWORKS; SESSION KEY;
D O I
10.1002/sec.312
中图分类号
TP [自动化技术、计算机技术];
学科分类号
0812 ;
摘要
Authentication and key distribution (AKD) protocols become more and more important in the design of wireless networks. Especially, the communication efficiency and security are the critical factors. In this paper, we first analyse the vulnerabilities of an AKD protocol for wireless networks under three types of attacks. Then, we propose an enhanced AKD protocol to overcome those vulnerabilities with the security functionality to prevent those malicious attacks. Security analysis and formal verification mainly using Automated Validation of Internet Security Protocols and Applications toolkit show that the proposed protocol is secure against those attacks. Copyright (c) 2011 John Wiley & Sons, Ltd.
引用
收藏
页码:343 / 352
页数:10
相关论文
共 50 条
  • [1] A Security Enhanced Authentication and Key Distribution Protocol for Wireless Networks
    Lv, Chao
    Ma, Maode
    Li, Hui
    Ma, Jianfeng
    2010 IEEE GLOBECOM WORKSHOPS, 2010, : 1571 - 1575
  • [2] An enhanced quantum key distribution protocol for security authentication
    Kumar, Ankit
    Dadheech, Pankaj
    Singh, Vijander
    Raja, Linesh
    Poonia, Ramesh C.
    JOURNAL OF DISCRETE MATHEMATICAL SCIENCES & CRYPTOGRAPHY, 2019, 22 (04): : 499 - 507
  • [3] A Simple Authentication and Key Distribution Protocol in Wireless Mobile Networks
    Wang, Jian
    Jiang, Nan
    Li, Hui
    Niu, Xinxin
    Yang, Yixian
    2007 INTERNATIONAL CONFERENCE ON WIRELESS COMMUNICATIONS, NETWORKING AND MOBILE COMPUTING, VOLS 1-15, 2007, : 2282 - +
  • [4] Enhanced Authentication and Key Agreement Protocol for Improving Security in UMTS Networks
    Ziani, Ahmed
    Medouri, Abdellatif
    2014 INTERNATIONAL CONFERENCE ON MULTIMEDIA COMPUTING AND SYSTEMS (ICMCS), 2014, : 890 - 894
  • [5] On the security of an enhanced authentication key exchange protocol
    Hwang, MS
    Chang, TY
    Lin, SC
    Tsai, CS
    18TH INTERNATIONAL CONFERENCE ON ADVANCED INFORMATION NETWORKING AND APPLICATIONS, VOL 2 (REGULAR PAPERS), PROCEEDINGS, 2004, : 160 - 163
  • [6] Multi-Factor Security Enhanced Authentication Protocol for Wireless Sensor Networks
    Zhang L.
    Liang H.
    Deng D.
    Liu Y.
    Tang C.
    Chang Z.
    Gui S.
    Dianzi Keji Daxue Xuebao/Journal of the University of Electronic Science and Technology of China, 2023, 52 (05): : 699 - 708
  • [7] On the security of an enhanced UMTS authentication and key agreement protocol
    Hwang, Min-Shiang
    Chong, Song-Kong
    Ou, Hsia-Hung
    EUROPEAN TRANSACTIONS ON TELECOMMUNICATIONS, 2011, 22 (03): : 99 - 112
  • [8] A Novel Authentication and Security Protocol for Wireless Adhoc Networks
    Amin, Umair
    Shah, Munam Ali
    2018 24TH IEEE INTERNATIONAL CONFERENCE ON AUTOMATION AND COMPUTING (ICAC' 18), 2018, : 567 - 571
  • [9] Efficient Security Authentication Protocol in Wireless Sensor Networks
    Latha, S. Asha
    Sivabalan, A.
    ADVANCEMENTS IN AUTOMATION AND CONTROL TECHNOLOGIES, 2014, 573 : 418 - +
  • [10] Efficient and Security Enhanced Anonymous Authentication with Key Agreement Scheme in Wireless Sensor Networks
    Jung, Jaewook
    Moon, Jongho
    Lee, Donghoon
    Won, Dongho
    SENSORS, 2017, 17 (03)