作者投稿和查稿 主编审稿 专家审稿 编委审稿 远程编辑
一种安全协议的形式化分析方法
王 昕;袁超伟
Formal Analysis Method of Security Protocol
WANG Xin; YUAN Chao-wei
计算机工程 . 2010, (7): 82 -83,8 .  DOI: 10.3969/j.issn.1000-3428.2010.07.029