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:
Online Access:https://www.mdpi.com/2076-3417/14/23/11152
Tags: Add Tag
No Tags, Be the first to tag this record!