Formal Analysis of 5G Authentication and Key Management for Applications (AKMA)
Tengshun Yang, Shuling Wang, Bohua Zhan, Naijun Zhan, Jinghui Li, Shuangqing Xiang, Zhan Xiang, Bifei Mao
Topics & Concepts
Computer scienceComputer securityAuthentication (law)Key (lock)SecrecyKey managementService (business)CryptographyEconomyEconomicsAdvanced Authentication Protocols SecurityUser Authentication and Security SystemsCryptography and Data Security