An Efficient Authentication Protocol of WLAN and its Security Proof

被引：0
|
作者：
Zhang, Haojun [1 ]
Chen, Li [2 ]
机构：
[1] Henan Univ Technol, Dept Comp Engn, Zhengzhou 450000, Peoples R China
[2] Henan Univ Finance & Econ, Modern Educ Technol Ctr, Zhengzhou, Peoples R China
来源：
2008 THIRD INTERNATIONAL CONFERENCE ON COMMUNICATIONS AND NETWORKING IN CHINA, VOLS 1-3 | 2008年
关键词：
WLAN; Authentication; WAPI; 802.11i; PCL;
D O I：
暂无
中图分类号：
TM [电工技术]; TN [电子技术、通信技术];
学科分类号：
0808 ; 0809 ;
摘要：
The authentication infrastructures of 802.11i and WAPI lack the features of authenticating STAs in the foremost time, and give more opportunities for attackers to launch DoS attacks to consume legal principals' resources on computation and communication. An improved IAKN protocol is presented and its security proof is stated. The analysis shows that it has better security properties and is more efficient than IEEE 802.11i and WAPI. The security properties - session authentication and secret key secrecy - are proved using PCL. The invariants of compositional security guarantees are deduced. The proposed protocol can be securely composed with other protocols when these invariants are protected.
引用
收藏
页码：1076 / +
页数：3
相关论文
共 50 条
  • [41] Authentication Protocol of RFID System Based on Security Policy
    Wang, Guichao
    Wang, Yan
    Li, Yongzhen
    2013 THIRD INTERNATIONAL CONFERENCE ON INSTRUMENTATION & MEASUREMENT, COMPUTER, COMMUNICATION AND CONTROL (IMCCC), 2013, : 1242 - 1246
  • [42] 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
  • [43] Authentication Protocol for Enhanced Security of the Automatic Identification System
    Litts, Robert E.
    Popescu, Dimitrie C.
    Popescu, Otilia
    2021 IEEE INTERNATIONAL BLACK SEA CONFERENCE ON COMMUNICATIONS AND NETWORKING (IEEE BLACKSEACOM), 2021, : 31 - 36
  • [44] An efficient MAC protocol for WLAN based on OFDM modulation
    Michelini, M
    Fantacci, R
    Giacomelli, M
    EMERGING TECHNOLOGIES FOR FUTURE GENERATION WIRELESS COMMUNICATIONS, 2002, 4869 : 107 - 112
  • [45] An efficient mutual authentication protocol on RFID tags
    Huang, Hui-Feng
    EMERGING DIRECTIONS IN EMBEDDED AND UBIQUITOUS COMPUTING, PROCEEDINGS, 2007, 4809 : 550 - +
  • [46] A new efficient authentication protocol for mobile networks
    Hwang, RJ
    Su, FF
    COMPUTER STANDARDS & INTERFACES, 2005, 28 (02) : 241 - 252
  • [47] 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
  • [48] An efficient ultralightweight authentication protocol for RFID systems
    Yeh K.-H.
    Lo N.W.
    Winata E.
    Cryptology and Information Security Series, 2010, 4 : 49 - 60
  • [49] A Robust and Efficient Anonymous Authentication Protocol in VANETs
    Jung, Chae Duk
    Sur, Chul
    Park, Youngho
    Rhee, Kyung-Hyune
    JOURNAL OF COMMUNICATIONS AND NETWORKS, 2009, 11 (06) : 607 - 614
  • [50] LEMAP: A Lightweight EAP based Mutual Authentication Protocol for IEEE 802.11 WLAN
    Yadav, Awaneesh Kumar
    Misra, Manoj
    Pandey, Pradumn Kumar
    Kaur, Kuljeet
    Garg, Sahil
    Liyanage, Madhusanka
    IEEE INTERNATIONAL CONFERENCE ON COMMUNICATIONS (ICC 2022), 2022, : 692 - 697
12345