The security of the PKMv2 protocol in the international standard IEEE 802.16e-2005 is an important guarantee for the security of WiMAX wireless networks. Based on the protocol combination logic (PCL), this paper analyzes the security of the authentication protocol in the PKMv2 protocol and finds that there is an interleaving attack in the PKMv2 security authentication protocol. On this basis, a new WiMAX wireless network security authentication protocol is proposed based on the protocol deduction system (PDS), and the modular correctness and security proof of the new protocol are given using the protocol combination logic (PCL). Compared with the PKMv2 security authentication protocol, the new protocol is more secure and more suitable for the complex network application environment of WiMAX wireless networks.
You Might Like
Recommended ContentMore
Open source project More
Popular Components
Searched by Users
Just Take a LookMore
Trending Downloads
Trending ArticlesMore