Security Verification and Improvement of 5G AKA Protocol Based on Petri-net. - Yan, Zhiping; Gu, Chonglin; Gu, Yue; Huang, Hejiao (2021)