International Journal of Network Security
The Worldwide Interoperability for Microwave Access (WIMAX /IEEE 802.16), is new technology based on wireless metropolitan area network. Security of connections access in WIMAX /IEEE 802.16 is complete with respect to the Privacy Key Management (PKM) protocol. The protocol is responsible for providing the secure distribution of keying data from Base Station (BS) to Subscriber Station (SS). In this paper, the authors provide the formal analysis of PKMv2 using Scyther tool to verify the security properties. They found that PKMv2 is vulnerable to replay, DoS, Man-in-the middle attacks. At last they have proposed a Secure Key Management Protocol (SPKM) to prevent the authorization protocol from such attacks.