Security Authentication Protocol for WiMAX Wireless Network Based on Protocol Composition Logic
Feng Tao①②③ Zhang Zi-bin① Ma Jian-feng②
①(School of Computer and Communication, Lanzhou University of Technology, Lanzhou 730050, China) ②(Key Laboratory of Computer Networks and Information Security of Ministry of Education, Xidian University, Xi’an 710071, China) ③(Key Lab of the Network Security and Cryptology, Fujian Normal University, Fuzhou 350007, China)
Abstract:IEEE 802.16e-2005 standard’s PKMv2 protocol is an important secure guarantee for WiMAX (Worldwide Interoperability for Microwave Access) wireless network. In this paper, based on Protocol Composition Logic (PCL), the PKMv2 authentication protocol’s security is analyzed, the interleaving attack is found, and a new authentication protocol is proposed by using the Protocol Derivation System (PDS) in WiMAX wireless network based on the vulnerability of system security, finally a formal correctness and security proof of it is presented with Protocol Composition Logic (PCL). This new protocol is more secure than the PKMv2 security authentication protocol, and more suitable for complicated wireless network application environment used in WiMAX.