Formalization and evaluation of EAP-AKA’ protocol for 5G network access security
Article
Edris, E., Aiash, M. and Loo, J. 2022. Formalization and evaluation of EAP-AKA’ protocol for 5G network access security. Array. 16. https://doi.org/10.1016/j.array.2022.100254
Type | Article |
---|---|
Title | Formalization and evaluation of EAP-AKA’ protocol for 5G network access security |
Authors | Edris, E., Aiash, M. and Loo, J. |
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. |
Keywords | 5G; EAP-AKA; Security protocol; Formal methods; Verification; Authentication; ProVerif; Applied pi calculus; Performance evaluation |
Publisher | Elsevier |
Journal | Array |
ISSN | 2590-0056 |
Publication dates | |
Online | 28 Oct 2022 |
31 Dec 2022 | |
Publication process dates | |
Deposited | 26 Oct 2022 |
Accepted | 25 Oct 2022 |
Submitted | 01 Sep 2022 |
Output status | Published |
Publisher's version | License |
Copyright Statement | © 2022 The Author(s). Published by Elsevier Inc. This is an open access article under the CC BY license (http://creativecommons.org/licenses/by/4.0/) |
Digital Object Identifier (DOI) | https://doi.org/10.1016/j.array.2022.100254 |
Language | English |
https://repository.mdx.ac.uk/item/8q1zy
Download files
77
total views22
total downloads0
views this month1
downloads this month