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

Volume

5

fYear

2010

fDate

22-24 June 2010

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;

fLanguage

English

Publisher

ieee

Conference_Titel

Education Technology and Computer (ICETC), 2010 2nd International Conference on

Conference_Location

Shanghai

Print_ISBN

978-1-4244-6367-1

Type

conf

DOI

10.1109/ICETC.2010.5529777

Filename

5529777