期刊名称：International Journal of Computer Science and Network Security
印刷版ISSN：1738-7906
出版年度：2016
卷号：16
期号：8
页码：42-48
出版社：International Journal of Computer Science and Network Security
摘要：Security is always important in data networks, but it is particularly critical in wireless networks such as WiMAX. After the launch of this new standard, a number of security issues were reported in several articles. Ever since the beginning, work has been in progress for the neutralization of these identified threats. In this paper, we first overview the IEEE802.16 standard, especially the security sublayer, and then authorization protocol PKM and the generation of traffic encryption keys (TEKs) has been analyzed. Possible attacks are also considered including interleaving, replay, DoS, Man-in-the middle attack and a new methodology is presented to prevent these attacks. We also give a formal analysis of our new PKM protocol (authorization phase and exchange of TEKs phase), we conclude that is rigid against the attacks like Denial of service (DOS), Man-in-the-middle and replay. The formal analysis has been conducted using a specialized model checker Scyther, which provides formal proofs of the security protocol.
