A Formal Analysis Scheme for 5G Private Network Authentication Protocol

WANG Yuedong, XIONG Yan, HUANG Wenchao, WU Jianshuang

Netinfo Security . 2021, (9): 1 -7 . DOI: 10.3969/j.issn.1671-1122.2021.09.001