Title :
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
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;
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
DOI :
10.1109/WOCN.2009.5010502
