Chaotic Maps-Based Strong Anonymous Authentication Scheme for Roaming Services in Global Mobility Networks

Abstract

Traditional smart card and password based two-factor authentication schemes for roaming services in global mobility networks are based on public key or symmetric key cryptographic primitives. With the advancement of chaos-based cryptography, it has become an interesting topic to investigate if it can be used as an alternative tool for building mobile roaming authentication schemes that achieve higher efficiency and security. In this paper, we answer this question affirmatively by proposing a chaotic maps-based authentication scheme for roaming. The scheme supports authentication, security and strong anonymity using the applied pi calculus-based formal verification tool ProVerif. Besides, it applies the efficient Chebyshev polynomial computation for better performance.