计算机应用
     首页 |  广告服务 |  期刊介绍 |  编委会 |  期刊订阅 |  下载中心 |  审稿须知 |  联系我们 |  投稿常见问题解答 |  English Version
计算机应用  2005, Vol. 25 Issue (01): 138-140    DOI: 10.3724/SP.J.1087.2005.0138
信息安全 最新目录| 下期目录| 过刊浏览| 高级检索 |
密码协议的符号模型检测及分析
龙士工,罗文俊,李祥
贵州大学计算机软件与理论研究所
Symbolic model checking analysis for cryptographic protocol
LONG Shi-gong, LUO Wen-jun, LI Xiang
Institute of Computer Science, Guizhou University



版权所有 ©2005 四川计算机应用杂志社有限公司
新出网证(川)字026号  蜀ICP备 05010208 号
地址:四川省成都市武侯区人民南路四段9号中国科学院成都分院《计算机应用》 编辑部
邮政编码: 610041 电话: 028-85224283-803 E-mail: bjb@joca.cn