Secure Key Management Protocol in WIMAX
Noudjoud Kahya · International Journal of Network Security & Its Applications · 2012
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 we provide the formal analysis of PKMv2 using Scyther tool to verify the security properties.We found that PKMv2 is vulnerable to replay, DoS, Man-in-the middle attacks.At last we have proposed a secure protocol (SPKM) to prevent the authorization protocol from such attacks.