An Improved Authentication Protocol for Global Mobility Network (GLOMONET)

In the roaming-user based environment, services to authenticate the legitimate user are on the pinnacle. There are two main challenges carrying with the roaming-user authentication system which are the mobile's real identity that may reveal to an attacker and the traceability issue of mobility information of the user. To avoid such problems, many scientists put their valuable efforts to introduce secure authentication protocols. These protocols are still vulnerable to different attacks. This paper proposes a realistic lightweight authentication scheme for roaming-user, which is secure in terms of mutual communication, user anonymity, user un-traceability, perfect forward secrecy and resistible from all possible attacks. We performed a formal analysis by using ProVerif which concludes that our presented protocol can provide a secure mutual authentication between Foreign-Agent FA, Mobile-Node MN, and Home agent HA in roaming-user based environment.