Formal verification and analysis of primary authentication based on 5G-AKA protocol
Conference paper
Edris, E., Aiash, M. and Loo, J. 2020. Formal verification and analysis of primary authentication based on 5G-AKA protocol. Third International Symposium on 5G Emerging Technologies (5GET 2020) in conjunction with the Fourth International Conference on Fog and Mobile Edge Computing (FMEC 2020). Paris, France 30 Jun - 03 Jul 2020 Institute of Electrical and Electronics Engineers (IEEE). pp. 256-261 https://doi.org/10.1109/SDS49854.2020.9143899
Type | Conference paper |
---|---|
Title | Formal verification and analysis of primary authentication based on 5G-AKA protocol |
Authors | Edris, E., Aiash, M. and Loo, J. |
Abstract | Fifth generation mobile network (5G) is intended to solve future constraints for accessing network services. The user and network operator depend on security assurances provided by the Authentication and Key Agreement protocols (AKA) used. For 5G network, the AKA has been standardized and 5GAKA protocol is one of the primary authentication methods that have been defined. This paper models the protocol and provides comprehensive formal analysis on 5G-AKA protocol as specified by The Third Generation Partnership Project (3GPP) standard. Using ProVerif a security protocol verification tool, we perform a full systematic evaluation of the 5G-AKA protocol based on the latest 5G specifications. We present security assumptions and properties that assists on the analysis based on two taxonomies, we find out that some important security properties are not achieved and related work ignored some crucial protocol flaws. Finally, we make some recommendations to address the issues found by our security analysis. |
Conference | Third International Symposium on 5G Emerging Technologies (5GET 2020) in conjunction with the Fourth International Conference on Fog and Mobile Edge Computing (FMEC 2020) |
Page range | 256-261 |
ISBN | |
Electronic | 9781728172194 |
Paperback | 9781728172200 |
Publisher | Institute of Electrical and Electronics Engineers (IEEE) |
Publication dates | |
30 Jun 2020 | |
Online | 20 Jul 2020 |
Publication process dates | |
Deposited | 22 May 2020 |
Accepted | 28 Feb 2020 |
Output status | Published |
Accepted author manuscript | |
Copyright Statement | © 2020 IEEE. Personal use of this material is permitted. Permission from IEEE must be obtained for all other uses, in any current or future media, including reprinting/republishing this material for advertising or promotional purposes, creating new collective works, for resale or redistribution to servers or lists, or reuse of any copyrighted component of this work in other works. |
Digital Object Identifier (DOI) | https://doi.org/10.1109/SDS49854.2020.9143899 |
Language | English |
Book title | 2020 Seventh International Conference on Software Defined Systems (SDS), Paris, France, 2020 |
https://repository.mdx.ac.uk/item/88z1v
Download files
Accepted author manuscript
75
total views21
total downloads1
views this month0
downloads this month