Anonymous Delegation-based Authenticated Key Agreement Protocol for Global Mobility Networks with Communication Privacy

Abstract

Global mobility networks are designed to accommodate service from local network service provider along with user’s movement. We present a new delegation-based authentication protocol using the Elliptic curve cryptosystems. We give the formal security analysis using the Burrows-Abadi-Needham (BAN) logic along with random oracle models. We perform the formal security verification using the broadly-accepted Automated Validation of Internet Security Protocols and Applications (AVISPA) tool to demonstrate that the presented scheme is secure. In addition, better trade-off among security and functionality features, and communication and computation costs makes our scheme suitable and applicable in the global mobility networks as compared to other existing related delegation-based authentication schemes.