Toward an Era of Secure 5G Convergence Applications: Formal Security Verification of 3GPP AKMA with TLS 1.3 PSK Option

Toward an Era of Secure 5G Convergence Applications: Formal Security Verification of 3GPP AKMA with TLS 1.3 PSK Option

The 5th Generation Mobile Communication (5G) plays a significant role in the Fourth Industrial Revolution (4IR), facilitating significant improvements and innovations in various fields. The 3rd Generation Partnership Project (3GPP) is currently standardizing the Authentication and Key Management for...

Full description

Saved in:
Bibliographic Details
Main Authors: Yongho Ko, I Wayan Adi Juliawan Pawana, Taeho Won, Philip Virgil Astillo, Ilsun You
Format: Article
Language:English
Published: MDPI AG 2024-11-01
Series:Applied Sciences
Subjects:
3GPP AKMA
5G/6G security
5G cAPP
TLS 1.3
ProVerif
formal security verification
Online Access:https://www.mdpi.com/2076-3417/14/23/11152
Tags: Add Tag
No Tags, Be the first to tag this record!

Similar Items

Similar Items