×
模态框（Modal）标题
在这里添加一些文本
关闭
关闭
提交更改
取消
确定并提交
×
模态框（Modal）标题
×
Toggle navigation
首页
期刊介绍
编委会
投稿须知
期刊订阅
联系我们
English
带有异或运算安全协议的自动化检测
杨元原;马文平;刘维博;俞优;顾健
Automatic detection of security protocols with XOR
YANG Yuanyuan;MA Wenping;LIU Weibo;YU You;GU Jian
J4 . 2012, (
4
): 120 -125+183 . DOI: 10.3969/j.issn.1001-2400.2012.04.022
