An Improved Secure Authentication Protocol for WiMAX with Formal Verification

被引：0

作者：

Rai, Anjani Kumar ^{[1
]}

Mishra, Shivendu ^{[1
]}

Tripathi, Pramod Narayan ^{[2
]}

机构：

[1] Indian Inst Informat Technol, Motilal Nehru Natl Inst Technol, Dept Comp Sci & Engn, Allahabad, Uttar Pradesh, India

[2] Dept Elect Engn, Allahabad, Uttar Pradesh, India

来源：

ADVANCES IN COMPUTING AND COMMUNICATIONS, PT 2 | 2011年 / 191卷

关键词：

AVISPA; privacy and key management protocol; IEEE; 802.16; SPAN; WiMAX;

D O I：

暂无

中图分类号：

TP18 [人工智能理论];

学科分类号：

081104 ; 0812 ; 0835 ; 1405 ;

摘要：

Privacy and Key management protocols (PKM) is used in WiMAX for providing authentication and key management. Basic PKM protocol provides one way authentication between SS and BS results many flaws. However, PKM protocol version 2 (PKMv2) solves the major security problems but new flaws have emerged. This paper analyzes the PKM protocol and its later versions using AVISPA which is a push button tool for the automated validation of security protocol. A secure authentication protocol has also been proposed and analyzed, results show that proposed protocol does not have any security flaws.

引用

页码：407 / +

页数：2

共 50 条

[21] Formal Analysis and Verification for Three-Party Authentication Protocol of RFID
Chen, Jia
Xiao, Meihua
Yang, Ke
Li, Wei
Zhong, Xiaomei
[J]. THEORETICAL COMPUTER SCIENCE (NCTCS 2018), 2018, 882 : 46 - 60
[22] An Pre-authentication Protocol with Symmetric Keys for Secure Handover in Mobile WiMAX Networks
Thuy Ngoc Nguyen
Ma, Maode
[J]. 2012 IEEE INTERNATIONAL CONFERENCE ON COMMUNICATIONS (ICC), 2012,
[23] An improved and provably secure privacy preserving authentication protocol for SIP
Shehzad Ashraf Chaudhry
Husnain Naqvi
Muhammad Sher
Mohammad Sabzinejad Farash
Mahmood Ul Hassan
[J]. Peer-to-Peer Networking and Applications, 2017, 10 : 1 - 15
[24] An improved and provably secure privacy preserving authentication protocol for SIP
Chaudhry, Shehzad Ashraf
Naqvi, Husnain
Sher, Muhammad
Farash, Mohammad Sabzinejad
ul Hassan, Mahmood
[J]. PEER-TO-PEER NETWORKING AND APPLICATIONS, 2017, 10 (01) : 1 - 15
[25] An Improved Forward-Secure Anonymous RFID Authentication Protocol
Zhu, Han
Zhao, Yiming
Ding, Shenglong
Jin, Bo
[J]. 2011 7TH INTERNATIONAL CONFERENCE ON WIRELESS COMMUNICATIONS, NETWORKING AND MOBILE COMPUTING (WICOM), 2011,
[26] ISAKA: Improved Secure Authentication and Key Agreement protocol for WBAN
Alizadeh, Javad
Safkhani, Masoumeh
Allahdadi, Amir
[J]. WIRELESS PERSONAL COMMUNICATIONS, 2022, 126 (04) : 2911 - 2935
[27] Improved Secure Network Authentication Protocol (ISNAP) for IEEE 802.16
Hashmi, Raheel M.
Siddiqui, Arooj M.
Jabeen, M.
Shehzad, K.
Zubair, A.
Alimgeer, K. S.
[J]. 2009 INTERNATIONAL CONFERENCE ON INFORMATION AND COMMUNICATION TECHNOLOGIES, 2009, : 66 - +
[28] ISAKA: Improved Secure Authentication and Key Agreement protocol for WBAN
Javad Alizadeh
Masoumeh Safkhani
Amir Allahdadi
[J]. Wireless Personal Communications, 2022, 126 : 2911 - 2935
[29] Secure Improved Cloud-Based RFID Authentication Protocol
Abughazalah, Sarah
Markantonakis, Konstantinos
Mayes, Keith
[J]. DATA PRIVACY MANAGEMENT, AUTONOMOUS SPONTANEOUS SECURITY, AND SECURITY ASSURANCE, 2015, 8872 : 147 - 164
[30] Formal Verification of a Dynamic Multi-factor Secure Communication Protocol
Scott, Kyler R.
Khatri, Sunil P.
Ghrayeb, Ali
[J]. 3RD INTERNATIONAL CONFERENCE ON SMART GRID AND RENEWABLE ENERGY (SGRE), 2022,

← 1 2 3 4 5 →