Formal Verification and Analysis of Primary Authentication based on 5G-AKA Protocol

摘要

Fifth generation mobile network (5G) is intended to solve future constraints for accessing network services. The user and network operator depend on security assurances provided by the Authentication and Key Agreement protocols (AKA) used. For 5G network,