|
|||||
|
|
| 密码协议的秘密性证明 | |
| 引用本文： | 胡成军,郑援,沈昌祥. 密码协议的秘密性证明[J]. 计算机学报, 2003, 26(3): 367-372 |
| 作者姓名： | 胡成军 郑援 沈昌祥 |
| 作者单位： | 1. 中国科学院研究生院信息安全国家重点实验室,北京,100039;海军潜艇学院,青岛,266071 2. 海军潜艇学院,青岛,266071 3. 海军计算技术研究所,北京,100841 |
| 基金项目： | 国家“九七三”重点基础研究发展规划项目“信息与网络安全体系结构研究”(G19990 3 5 80 1) |
| 摘 要： | 在Paulson的归纳方法基础上提出一种新的密码协议秘密性的证明方法，该方法在消息事件结构中引入会话标识符，给出协议满足秘密性的充要条件，大大简化了协议秘密性的证明，高效且适合机械化实现。 |
| 关 键 词： | 密码协议 秘密性证明 密码学 随机数 定理证明 信息安全 |
| 修稿时间： | 2002-01-30 |
Proving Secrecy Property of Cryptographic Protocols |
|
| HU Cheng Jun ),) ZHENG Yuan ) SHEN Chang Xiang ). Proving Secrecy Property of Cryptographic Protocols[J]. Chinese Journal of Computers, 2003, 26(3): 367-372 | |
| Authors: | HU Cheng Jun ) ) ZHENG Yuan ) SHEN Chang Xiang ) |
| Affiliation: | HU Cheng Jun 1),2) ZHENG Yuan 2) SHEN Chang Xiang 3) 1 |
| Abstract: | In this paper, a new method based on Paulson's inductive approach for proving cryptographic protocols' secrecy property is proposed. The message and event structure are extended with a special session identifier. A sufficient and necessary condition for a protocol to satisfy its secrecy specification is given. With this condition, protocol's secrecy proof is greatly simplified. Experiments show that this approach is efficient and suitable for mechanical implementation. |
| Keywords: | cryptographic protocol secrecy theorem proving |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ | |