改进的安全协议一阶逻辑模型

改进的安全协议一阶逻辑模型

张超,韩继红,王亚弟,朱玉娜

Improved first-order logic model for security protocols

ZHANG Chao,HAN Ji-hong,WANG Ya-di,ZHU Yu-na

计算机工程与应用 . 2008, (26): 95 -98 . DOI: 10.3778/j.issn.1002-8331.2008.26.029