Formal analysis of the handover schemes in mobile WiMAX networks

Author

Taha, Ahmed M. ; Abdel-Hamid, Ayman T. ; Tahar, Sofiéne

Author_Institution

Fac. of Inf. Eng. & Technol., German Univ. in Cairo, Cairo

fYear

2009

Firstpage

1

Lastpage

5

Abstract

An overview of the EAP-based handover procedures of the IEEE 802.16e standard is introduced and their security vulnerabilities are analyzed. Possible solutions for secure handover in IEEE 802.16e networks that guarantee a backward and forward secrecy are described and formally verified using Scyther, a specialized model checker for security protocols. These solutions showed a few drawbacks in the verified procedure and some modifications are proposed for a more secure and efficient handover protocol.

Keywords

WiMax; formal verification; mobile radio; protocols; telecommunication security; EAP-based handover schemes; IEEE 802.16e standard; Scyther; formal analysis; mobile WiMAX networks; secure handover solution; security protocols; Access protocols; Authentication; Base stations; Communication system security; Cryptography; Data privacy; Delay; Information analysis; WiMAX; Wireless application protocol; Formal Verification; Handover; Mobile WiMAX; Pre-authentication Scheme; Security Protocol;

fLanguage

English

Publisher

ieee

Conference_Titel

Wireless and Optical Communications Networks, 2009. WOCN '09. IFIP International Conference on

Conference_Location

Cairo

Print_ISBN

978-1-4244-4704-6

Electronic_ISBN

978-1-4244-3474-9

Type

conf

DOI

10.1109/WOCN.2009.5010502

Filename

5010502