| 安全协议的形式化验证技术研究 |
| |
| 引用本文： | 赵艳芹,董军.安全协议的形式化验证技术研究[J].太原师范学院学报(自然科学版),2007,6(4):63-65. |
| |
| 作者姓名： | 赵艳芹 董军 |
| |
| 作者单位： | 黑龙江科技学院,计算机与信息工程学院,黑龙江,哈尔滨,150027 |
| |
| 摘 要： | 对安全协议形式化验证方法所应用的技术进行了研究，总结了当前安全协议的各种形式化验证方法的特点，指出今后一段时期内安全协议形式化验证技术的研究方向．
|
| 关 键 词： | 安全协议 形式化方法 定理证明 |
| 文章编号： | 1672-2027(2007)04-0063-03 |
| 修稿时间： | 2007年8月6日 |
The Research on Technology of Formal Verification Based on Security Protocols |
| |
| Zhao Yanqin,Dong Jun.The Research on Technology of Formal Verification Based on Security Protocols[J].Journal of Taiyuan Normal University:Natural Science Edition,2007,6(4):63-65. |
| |
| Authors: | Zhao Yanqin Dong Jun |
| |
| Abstract: | |
| |
| Keywords: | |
| 本文献已被 维普 万方数据 等数据库收录！ |
|
