Formalization and evaluation of EAP-AKA’ protocol for 5G network access security

Lists

Edris, Ed Kamya, Aaish, Mahdi and Loo, Jonathan ORCID: https://orcid.org/0000-0002-2197-8126 (2022) Formalization and evaluation of EAP-AKA’ protocol for 5G network access security. Array, 16.

[thumbnail of Edris_etal._2023_j.array._Formalization_and_evaluation_of_EAP-AKA’_protocol_for_5G_network_access_security.pdf]

Preview

PDF
Edris_etal._2023_j.array._Formalization_and_evaluation_of_EAP-AKA’_protocol_for_5G_network_access_security.pdf - Published Version
Available under License Creative Commons Attribution.
Download (4MB) | Preview

Official URL: https://doi.org/10.1016/j.array.2022.100254

Abstract

The end user’s Quality of Experience (QoE) will be improved while accessing services in Fifth Generation Mobile Network (5G), supported by enhanced security and privacy. The security guarantees offered by the Authentication and Key Agreement (AKA) protocols will be depended upon by end users and network operators. The AKA protocols have been standardized for 5G networks, and the Extensible Authentication Protocol (EAP)-AKA’ protocol is one of the main authentication mechanisms that has been specified for User Equipment (UE) and network mutual authentication. This article models the EAP-AKA’ protocol and conducts an extensive formal verification of the EAP-AKA’ protocol as defined in the 5G security standard to determine whether the protocol is verifiably secure for 5G. It provides a security evaluation of the EAP-AKA’ protocol based on the current 5G specifications using ProVerif, a security protocol proof verifier. It also presents security properties that support the security verification, as well as quantitative properties that are used to assess the protocol’s performance. Finally, it compares the EAP-AKA’ and 5G-AKA protocols’ security and performance results.

Item Type:	Article
Identifier:	10.1016/j.array.2022.100254
Keywords:	5G, EAP-AKA’, Security protocol, Formal methods, Verification, Authentication, ProVerif, Applied pi calculus, Performance evaluation
Subjects:	Computing
Related URLs:	Publisher
Depositing User:	Jonathan Loo
Date Deposited:	25 May 2023 15:25
Last Modified:	06 Feb 2024 16:15
URI:	https://repository.uwl.ac.uk/id/eprint/10006