Security analysis of 5G network authentication and key negotiation protocol. Literature review
DOI:
https://doi.org/10.61173/4ecfxb24Keywords:
5G network, authentication and key negoti-ation protocols, security analysis, privacy protection, for-mal verification, man-in-the-middle attackAbstract
This study focuses on the security of 5G network authentication and key negotiation protocols, reviewing existing research findings. It examines the security issues of 5G-AKA and EAP-AKA 'from the protocol's perspective, summarizing formal verification methods and improvement measures. In terms of the integration of emerging technologies, it explores how blockchain and quantum key distribution enhance 5G security and their application progress. The paper highlights the current research's shortcomings in adapting to real-world scenarios and addressing new threats, providing direction for further 5G network security research. This will help solidify the foundation of 5G security and promote its reliable application in critical areas.
References
[1] Pratibha Singh, Arun Kumar Singh, Girish Chandra. Formal Verification of Blockchain-Driven Packet Management in Congested Networks Using Event B [J]. Expert Systems with Applications, 2025,283.
[2] Su Renze. Application and Security Analysis of Blockchain Technology in Smart Energy Networks [J]. East China Science & Technology, 2024, (12):64-66.
[3] Xiang Aixin. Distributed Key Management Mechanism for Blockchain [D]. Supervisor: Tian Youliang. Guizhou University, 2024.
[4] Li Kaixuan. Research on Multi-Type High-Dimensional Data Publishing Schemes for Differential Privacy Protection [D]. Supervisor: Zhang Hua. Beijing University of Posts and Telecommunications, 2024.
[5] Peng Chengwei, Yang Jinji, Yang Guang. Formal Verification and Improvement of the SAP-aka Secondary Authentication Protocol [J]. Computer Engineering, 2025,51 (06):204-211.
[6] Raut Omprakash Jagannath, Ankit Kumar Jain. Browser‐ in‐the‐middle attacks: A comprehensive analysis and countermeasures [J]. Security and Privacy, 2024, 7 (5):
[7] Garima Thakur, Mohammad S. Obaidat, Piyush Sharma, Sunil Prajapat, Pankaj Kumar. An efficient provably secure authentication and key agreement protocol for satellite communication networks [J]. Security and Privacy, 2024, 7 (5):
[8] Sigurd Eskeland. Cryptanalysis of a Privacy-Preserving Authentication Scheme Based on Private Set Intersection [J]. Journal of Mathematical Cryptology, 2024,18 (1):
[9] Elrawy Mohamed Faisal, Hadjidemetriou Lenos, Laoudias Christos, Michael Maria K. Detecting and Classifying Man-inthe-Middle Attacks in Smart Grid Private Area Networks [J]. Sustainable Energy, Grids and Networks, 2023,36;
[10] Yang Chenglong, Yang Jinji, Su Guidian, Guan Jinping. Formal Verification and Analysis of 5G Network Authentication and Key Aggregation Protocol [J]. Computer System Applications, 2022, 31 (12):398-404.
[11] Xie Zhen. Research on Security Enhancement of 5G Network Authentication and Key Agreement Protocol [D]. Supervisor: Ji Xinsheng. Strategic Support Force Information Engineering University, 2022.
[12] Jia Fan, Yan Yan, Yuan Kaiguo, Zhao Lujing. Security Analysis of 5G Network Authentication and Key Agreement Protocol [J]. Tsinghua University Journal (Natural Science Edition), 2021,61 (11):1260-1266.
[13] Liu Tian, Wu Fan, Li Xiong, Chen Chaoyang. A New Authentication and Key Agreement Protocol for 5G Wireless Networks [J]. Telecommunication Systems, 2021,78 (3).
[14] Zhao Lujing. Security Analysis of 5G Network Authentication and Key Agreement Protocol EAP-AKA’ [D]. Supervisor: Jia Fan. Beijing Jiaotong University, 2020.
[15] Ge Aijun, Zhang Jiang, Zhang Rui, Ma, Chuangui. Security Analysis of a Privacy-Preserving Decentralized Key Policy Attribute-Based Encryption Scheme [J]. IEEE Transactions on Parallel and Distributed Systems: A Publication of the IEEE Computer Society, 2013,24 (11):
[16] Hou Junfeng. Formal Verification Methods for Security Protocols and Research on Security Protocol Design [D]. Supervisor: Huang Liansheng. Tsinghua University, 2004.
Downloads
Published
Issue
Section
License
Copyright (c) 2025 by the authors.
This work is licensed under a Creative Commons Attribution 4.0 International License.
