| 交叉协议安全性分析 |
| |
| 引用本文： | 孙海波,林东岱,李莉.交叉协议安全性分析[J].计算机工程与应用,2004,40(33):173-175. |
| |
| 作者姓名： | 孙海波 林东岱 李莉 |
| |
| 作者单位： | 1. 中国科学院软件所信息安全国家重点实验室,北京,100080
2. 武汉大学计算机学院,武汉,430072 |
| |
| 基金项目： | 国家自然科学基金(编号:60373048)，国家自然科学基金(编号:NSFC90204016)，国家863高技术研究发展计划课题(编号:2003AA144030) |
| |
| 摘 要： | 串空间理论是一种新兴的用于密码协议形式化分析的方法。该文将利用串空间理论对交叉协议的安全性进行分析,并利用图论中关于有向图的路径长度来说明在何种条件下多个协议交叉运行可以保持协议本身的安全性。
|
| 关 键 词： | 串空间 密码协议交 叉协议 |
| 文章编号： | 1002-8331-(2004)33-0173-03 |
The Security Analysis of Mixed Protocols |
| |
| Sun Haibo,Lin Dongdai,Li Li.The Security Analysis of Mixed Protocols[J].Computer Engineering and Applications,2004,40(33):173-175. |
| |
| Authors: | Sun Haibo Lin Dongdai Li Li |
| |
| Affiliation: | Sun Haibo 1 Lin Dongdai 1 Li Li 21 |
| |
| Abstract: | Strand space theory is a method for stating and proving correctness properties for cryptographic protocols.This paper applies the same method to the related problem of mixed protocols,and by applying the path length of one di-rected graph in graph theory shows that under which condition a protocol can remain correct when used in combination with a range of other protocols. |
| |
| Keywords: | strand space cryptographic protocol mixed protocol |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
