信息网络安全
基于SPIN的安全协议的攻击者建模方法研究
易辉凡, 万良, 黄娜娜, 王鹍鹏
Research on Attacker Modeling Method of Security Protocol Based on SPIN
Huifan YI, Liang WAN, Nana HUANG, Kunpeng WANG
信息网络安全 . 2018, (2): 61 -70 .  DOI: 10.3969/j.issn.1671-1122.2018.02.009