| 一种时间相关安全协议的自动验证工具 |
| |
| 引用本文： | 黎兴华,雷新锋,刘军. 一种时间相关安全协议的自动验证工具[J]. 计算机应用, 2009, 29(6): 1654-1658 |
| |
| 作者姓名： | 黎兴华 雷新锋 刘军 |
| |
| 作者单位： | 解放军理工大学,通信工程学院,南京,210007;解放军理工大学,通信工程学院,南京,210007;解放军理工大学,通信工程学院,南京,210007 |
| |
| 摘 要： | 设计并实现了一个时间相关安全协议的自动验证工具。工具以一种时间相关安全协议逻辑TCPL为基础,以XML语言为描述方式,采用构造分层逻辑树的方法,完成了对安全协议目标的自动验证。实现结果表明,该工具简化了安全协议的证明过程,提高了效率,具有较好的实用性。
|
| 关 键 词： | 分层逻辑树 时间相关 安全协议 自动验证 |
| 收稿时间： | 2008-12-29 |
| 修稿时间： | 2009-02-27 |
Automated verification tool for time-dependent cryptographic protocols |
| |
| LI Xing-hua,LEI Xin-feng,LIU Jun. Automated verification tool for time-dependent cryptographic protocols[J]. Journal of Computer Applications, 2009, 29(6): 1654-1658 |
| |
| Authors: | LI Xing-hua LEI Xin-feng LIU Jun |
| |
| Affiliation: | Institute of Communication Engineering;PLA University of Science and Technology;Nanjing Jiangsu 210007;China |
| |
| Abstract: | An automated verification tool for analyzing time-dependent cryptographic protocol was proposed and implemented. Based on Time-dependent Cryptographic Protocol Logic (TCPL), the tool completed verifying the goals of cryptographic protocols automatically by the method of layered logic tree and using XML as its specification language. Experimental result shows that the tool can simplify the proving process, and improve the efficiency of security protocols verification. |
| |
| Keywords: | layered logic tree time-dependent cryptographic protocols automated verification |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
| 点击此处可从《计算机应用》浏览原始摘要信息 |
|
点击此处可从《计算机应用》下载全文 |
|
