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

Authors

  • Abisha D

Keywords:

Evolved Packet System Authentication And Key Agreement Protocol (EPSAKA), Group Based Authentication and Key Agreement (GR-AKA), Group Based Anonymity Handover Authentication Protocol (GAHAP), Global System for Mobile (GSM, High Speed Packet Access (HSPA), Orthogonal Frequency-Division Multiplexing (OFDM)

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.

Published

2017-12-19

Issue

Section

Articles