Security Improvement of a Pre-authentication Based Handover Scheme for Mobile WiMAX
Security of handovers is an important issue in the mobile WiMAX networks. Mobile users expect quick and secured handovers to achieve seamless service connection. However, long delay due to the timeconsuming authentication procedure is a well-known bottle neck of the IEEE 802.16e handover scheme. In this paper, an enhanced pre-authentication-based handover scheme for mobile WiMAX networks is proposed, which is able to achieve fast and secure handovers. The scheme is formally verified by using SPIN. And it shows that it can protect the handover processes against DoS and Replay attacks.
Mobile WiMAX SPIN formal verification security handover pre-authentication
Thuy Ngoc Nguyen Maode Ma Yi Jiao
School of Electrical and Electronic Engineering,Nanyang Technological University,Singapore School of Electrical and Electronic Engineering,Xian Communication Institute,China
国际会议
太原
英文
73-77
2011-02-26(万方平台首次上网日期,不代表论文的发表时间)