期刊名称：International Journal of Network Security & Its Applications
印刷版ISSN：0975-2307
电子版ISSN：0974-9330
出版年度：2012
卷号：4
期号：6
DOI：10.5121/ijnsa.2012.460
出版社：Academy & Industry Research Collaboration Center (AIRCC)
摘要：The Worldwide Interoperability for Microwave Access (WIMAX/IEEE 802.16), isnew technologybasedonwirelessmetropolitan area network.Security of connections access inWIMAX/IEEE 802.16iscompletewith respect to the Privacy Key Management (PKM) protocol.The protocol is responsibleforproviding the secure distribution of keying data fromBase Station(BS)toSubscriber Station(SS).In thispaper we provide the formal analysis of P KMv2using Scyther tool to verify the security properties.Wefound thatPKMv2is vulnerable to replay, DoS, Man-in-the middle attacks.At last we have proposed asecure protocol (SPKM) to prevent the authorization protocol from such attacks
