信息网络安全
一种面向5G专网鉴权协议的形式化分析方案
王跃东, 熊焰, 黄文超, 武建双
A Formal Analysis Scheme for 5G Private Network Authentication Protocol
WANG Yuedong, XIONG Yan, HUANG Wenchao, WU Jianshuang
信息网络安全 . 2021, (9): 1 -7 .  DOI: 10.3969/j.issn.1671-1122.2021.09.001