Secure Handover Protocol for Mobile WiMAX Networks
Sang Hoon Lee, Nam-Sup Park, Jin‐Young Choi · IEICE Transactions on Information and Systems · 2008
In this paper, we analyze existing vulnerabilities in hand-over for mobile WiMAX networks. To overcome these vulnerabilities, we propose a secure handover protocol that guarantees mutual authentication and forward/backward secrecy in handover. We present a formal analysis of our protocol using a logic-based formal method.