信息网络安全
基于串空间的安全协议形式化分析研究
姚萌萌, 唐黎, 凌永兴, 肖卫东
Formal Analysis of Security Protocol Based on Strand Space
YAO Mengmeng, TANG Li, LING Yongxing, XIAO Weidong
信息网络安全 . 2020, (2): 30 -36 .  DOI: 10.3969/j.issn.1671-1122.2020.02.005