Verification and research of a Wimax authentication protocol based on SSM

WiMAX is a new technology providing broadband data access to mobile as well as stationary users. Standards for Mobile WiMAX (IEEE 802.16e-2005) has already been finalized. In IEEE 802.16, security has been considered as the main issue during the design of the protocol. In this paper, a new WIMAX authentication protocol is designed to better satisfy the security goals under the WiMAX security architecture, then a formal correctness proof of the protocol is presented based on SSM. Finally, its performance is analyzed and improved.