Design, Verification and Implementation of Enhanced PKM WiMAX Authentication Protocol
Worldwide Interoperability for Microwave Access (WiMax/IEEE 802.16), is new technology based on wireless metropolitan area network. Privacy Key Management (PKM) protocol is responsible for providing the secure distributions of keying data from Base Station (BS) to Subscriber Station (SS). PKMv1, PKMv2, and enhanced PKMv1 described with formal analysis and verified using Scyther tool. PKMv1 is vulnerable to replay, DOS, Man-in-the middle attacks since there is no mutual authentication. The proposed design is more secure to prevent the network from the previous attacks. A simple implementation is done using Wireless Open Access Research Platform (WARP) and programming language C#.NET.