| 一种分析Timed-Release公钥协议的扩展逻辑 |
| |
| 引用本文： | 范红,冯登国. 一种分析Timed-Release公钥协议的扩展逻辑[J]. 计算机学报, 2003, 26(7): 831-836 |
| |
| 作者姓名： | 范红 冯登国 |
| |
| 作者单位： | 中国科学院研究生院信息安全国家重点实验室,北京,100039 |
| |
| 基金项目： | 本课题得到国家重点基础研究规划项目(G1999035802)和国家杰出青年科学基金(60025205)资助. |
| |
| 摘 要： | 在Coffey和Saidha提出的CS逻辑(CS逻辑将时间与逻辑结构相结合，可用于形式化分析Timed-release公钥协议的时间相关性秘密的安全性)的基础上，提出了CS逻辑的扩展逻辑，它更好地反映了Timed-release公钥协议的特性，并对一个协议实例进行了有效的形式化分析．
|
| 关 键 词： | Timed－Release公钥协议 扩展逻辑 密钥 密码协议 形式化分析 |
| 修稿时间： | 2002-01-07 |
An Extension Logic of Timed-Release Public Key Protocols Analysis |
| |
| FAN Hong FENG Deng Guo. An Extension Logic of Timed-Release Public Key Protocols Analysis[J]. Chinese Journal of Computers, 2003, 26(7): 831-836 |
| |
| Authors: | FAN Hong FENG Deng Guo |
| |
| Abstract: | Timed release public key protocol can provide time dependent secrets by using public key cryptographic system through standard time provided by the trusted third party. The formal analysis of this kind of protocols needs special logic system which can reflect its properties. Coffey & Saidha have proposed a logic system to formally analyze the timed release public key protocols, which is called CS logic. CS logic adds the time into logic structure, so it can be used to analyze the security of time dependent secrets of timed release public key cryptographic protocols. This paper presents an extension of CS logic which reflects the properties of timed release public key protocols better, and gives a good formal analysis of a concrete protocol. |
| |
| Keywords: | timed release public key protocol CS extension logic formal analysis |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
