信息网络安全
一种改进的基于认证测试的形式化分析方法
姚萌萌, 朱正超, 刘明达
An Improved Formal Analysis Method Based on Authentication Tests
Mengmeng YAO, Zhengchao ZHU, Mingda LIU
信息网络安全 . 2019, (1): 27 -33 .  DOI: 10.3969/j.issn.1671-1122.2019.01.004