2008 Volume E91.D Issue 12 Pages 2875-2879
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.