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...
        Saved in:
      
    
          | Main Authors: | , , | 
|---|---|
| Format: | Article | 
| Language: | English | 
| Published: | MDPI AG
    
        2024-12-01 | 
| Series: | Sensors | 
| Subjects: | |
| Online Access: | https://www.mdpi.com/1424-8220/24/24/7979 | 
| Tags: | Add Tag 
      No Tags, Be the first to tag this record!
   | 
Be the first to leave a comment!
 
       