Formal Verification and Analysis of 5G AKA Protocol Using Mixed Strand Space Model

Formal Verification and Analysis of 5G AKA Protocol Using Mixed Strand Space Model

The 5th generation mobile communication technology (5G) authentication and key management (AKA) protocol specified by the 3rd generation partnership project (3GPP) includes three cases because it introduces synchronization failure and message authentication code (MAC) failure procedures. Thus, there...

Full description

Bibliographic Details
Main Authors: Yuelei Xiao, Shan Gao
Format: Article
Language:English
Published: MDPI AG 2022-04-01
Series:Electronics
Subjects:
5G-AKA’
mutual authentication
weak agreement
attack scenarios
location privacy
pre-shared key
Online Access:https://www.mdpi.com/2079-9292/11/9/1333

Internet

https://www.mdpi.com/2079-9292/11/9/1333

Similar Items