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 条
  • [21] Security Improvement of the Enhanced 1-round Authentication Protocol for Wireless Body Area Networks
    Izza, Sarah
    Benssalah, Mustapha
    Ouchikh, Rabah
    PROCEEDINGS OF THE 2018 INTERNATIONAL CONFERENCE ON APPLIED SMART SYSTEMS (ICASS), 2018,
  • [22] Security Enhanced User Authentication Protocol for Wireless Sensor Networks Using Elliptic Curves Cryptography
    Choi, Younsung
    Lee, Donghoon
    Kim, Jiye
    Jung, Jaewook
    Nam, Junghyun
    Won, Dongho
    SENSORS, 2014, 14 (06) : 10081 - 10106
  • [23] A Key Distribution Protocol for Wireless Sensor Networks
    Herrera, Adrian
    Hu, Wen
    37TH ANNUAL IEEE CONFERENCE ON LOCAL COMPUTER NETWORKS (LCN 2012), 2012, : 140 - 143
  • [24] A Security-Enhanced Authentication and Key Agreement Protocol in Smart Grid
    Wu, Yapeng
    Guo, Hua
    Han, Yiran
    Li, Sijia
    Liu, Jianwei
    IEEE TRANSACTIONS ON INDUSTRIAL INFORMATICS, 2024, 20 (09) : 11449 - 11457
  • [25] Security Enhanced Authentication and Key Agreement Protocol for LTE/SAE Network
    Li Xiehua
    Wang Yongjun
    2011 7TH INTERNATIONAL CONFERENCE ON WIRELESS COMMUNICATIONS, NETWORKING AND MOBILE COMPUTING (WICOM), 2011,
  • [26] A Security-enhanced Key Distribution Scheme for AODVjr Routing Protocol in ZigBee Networks
    Shang Tao
    Huang Fuhua
    Chen Jie
    Liu Jianwei
    CHINESE JOURNAL OF ELECTRONICS, 2013, 22 (03): : 577 - 582
  • [28] Enhanced Security Algorithm with Key Exchange Protocol in Wireless Network
    Princy, Infanta S.
    Revathi, G.
    PROCEEDINGS OF 2015 IEEE 9TH INTERNATIONAL CONFERENCE ON INTELLIGENT SYSTEMS AND CONTROL (ISCO), 2015,
  • [29] A Lightweight Anonymous Authentication Protocol Based on Shared Key in Wireless Networks
    Zhong C.
    Li X.-H.
    Song Y.-Y.
    Ma J.-F.
    Li, Xing-Hua (xhli1@mail.xidian.edu.cn), 2018, Science Press (41): : 1157 - 1171
  • [30] Efficient Key Distribution Protocol for Wireless Sensor Networks
    Alshammari, Majid R.
    Elleithy, Khaled M.
    2018 IEEE 8TH ANNUAL COMPUTING AND COMMUNICATION WORKSHOP AND CONFERENCE (CCWC), 2018, : 980 - 985