基于串空间的安全协议自动化验证算法

检索

作者投稿和查稿主编审稿专家审稿编委审稿远程编辑

作者投稿和查稿主编审稿专家审稿编委审稿远程编辑

基于串空间的安全协议自动化验证算法

张孝红, 李谢华

Automatic Verification Algorithm for Security Protocol Based on String Space

ZHANG Xiao-Gong, LI Xie-Hua

计算机工程 . 2011, (5): 131 -133 . DOI: 10.3969/j.issn.1000-3428.2011.05.044