Formal Verification and Analysis of Primary Authentication based on 5G-AKA Protocol | IEEE Conference Publication | IEEE Xplore