首页 | 本学科首页   官方微博 | 高级检索  
     

密码协议的秘密性证明
引用本文:胡成军,郑援,沈昌祥. 密码协议的秘密性证明[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 维普 万方数据 等数据库收录!
设为首页 | 免责声明 | 关于勤云 | 加入收藏

Copyright©北京勤云科技发展有限公司  京ICP备09084417号