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...

Celý popis

Podrobná bibliografie

Hlavní autoři:	Yongho Ko, I Wayan Adi Juliawan Pawana, Taeho Won, Philip Virgil Astillo, Ilsun You
Médium:	Artigo
Jazyk:	Inglês
Vydáno:	MDPI AG 2024-11-01
Edice:	Applied Sciences
Témata:	3GPP AKMA 5G/6G security 5G cAPP TLS 1.3 ProVerif formal security verification
On-line přístup:	https://www.mdpi.com/2076-3417/14/23/11152
Tagy:	Přidat tag Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!