Formal Security Reassessment of the 5G-AKA-FS Protocol: Methodological Corrections and Augmented Verification Techniques

Formal Security Reassessment of the 5G-AKA-FS Protocol: Methodological Corrections and Augmented Verification Techniques

The 5G-AKA protocol, a foundational component for 5G network authentication, has been found vulnerable to various security threats, including linkability attacks that compromise user privacy. To address these vulnerabilities, we previously proposed the 5G-AKA-Forward Secrecy (5G-AKA-FS) protocol, wh...

Full description

Saved in:
Bibliographic Details
Main Authors: Yongho Ko, I Wayan Adi Juliawan Pawana, Ilsun You
Format: Article
Language:English
Published: MDPI AG 2024-12-01
Series:Sensors
Subjects:
5G security
forward secrecy (FS)
5G-AKA-FS
ProVerif
Online Access:https://www.mdpi.com/1424-8220/24/24/7979
Tags: Add Tag
No Tags, Be the first to tag this record!

Similar Items

Similar Items