安全协议一阶逻辑模型中攻击重构的实现
张 超;韩继红;王亚弟;朱玉娜;陈欣辉
Implementation of Attack Reconstruction in First-order Logic Model for Security Protocols
ZHANG Chao; HAN Ji-hong; WANG Ya-di; ZHU Yu-na; CHEN Xin-hui
计算机工程
.
2009, (5): 171
-174
.
DOI: 10.3969/j.issn.1000-3428.2009.05.059
