Title :
Verification and research of a Wimax authentication protocol based on SSM
Author :
You, Ziyi ; Xie, Xiaoyao ; Zheng, Weihong
Author_Institution :
Sch. of Comput. Sci. & Technol., Guizhou Univ., Guiyang, China
Abstract :
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.
Keywords :
IEEE standards; WiMax; broadband networks; mobile radio; protocols; telecommunication security; IEEE 802.16e-2005; SSM; WiMAX security architecture; WiMax authentication protocol verification; broadband data access; mobile WiMAX; Access protocols; Authentication; Communication system security; Computer science education; Educational technology; Laboratories; Performance analysis; Space technology; WiMAX; Wireless application protocol; WIMAX; authentication protocol; fomal analysis; performance analysis; strand space model;
Conference_Titel :
Education Technology and Computer (ICETC), 2010 2nd International Conference on
Conference_Location :
Shanghai
Print_ISBN :
978-1-4244-6367-1
DOI :
10.1109/ICETC.2010.5529777
