Mobile WiMAX;
formal verification;
security;
handover;
pre-authentication;
D O I:
10.1109/TWC.2012.032712.110659
中图分类号:
TM [电工技术];
TN [电子技术、通信技术];
学科分类号:
0808 ;
0809 ;
摘要:
Mobile WiMAX is yet to meet the expectation from mobile users to provide secured and seamless services. Long delay in the time-consuming authentication procedure is a well-known bottleneck of the IEEE 802.16e handover scheme, causing service disruption when a mobile user moves between base stations. A pre-authentication-based handover scheme for mobile WiMAX networks aims to achieve fast and secure inter-ASN handovers. However, it is shown to be vulnerable to Denial of Service (DoS) and replay attacks. In this paper, we propose an Enhanced EAP-based pre-authentication (EEP) scheme to overcome the vulnerability of the above-mentioned scheme with much less requirements on the computation and communication resources.