Perlustration on Authentication Protocols in 4G (LTE/LTE-A) Using Pro-Verif

Abstract

In recent years, Long Term Evolution (LTE) has been one of the promising technologies of current wireless communication systems. LTE-Advanced (LTE-A) is a mobile communication standard and a major enhancement of the LTE standard. This paper presents a relative security survey on various authentication protocols proposed so for in 4G (LTE and LTE-A). ProVerif is a push-button tool for building and analyzing security protocols. ProVerif provides a role-based, expressive formal language for protocol specification and it integrates four different back-ends, which perform the actual analysis of the protocol. The authentication protocols that are considered for the survey in LTE includes Evolved Packet System Authentication and Key Agreement Protocol (EPS-AKA), Security and Efficient Group Authentication and Key Agreement Protocol (SE-AKA), Ensure Confidentiality Authentication and Key Agreement Protocol 2(EC-AKA), Efficient EPS - AKA Protocol and in LTE-A includes Group based Authentication and Key Agreement (GR-AKA), and Group-Based Anonymity Handover Authentication Protocol (GAHAP). ProVerif tool is used to examine the security levels of various authentication protocols.