| 《计算机学报》文章摘要 全文下载 | |
| 文章题目 | 一种分析Timed-Release公钥协议的扩展逻辑 |
| 作者 | 范红 冯登国 |
| 作者单位 | （中国科学院研究生院信息安全国家重点实验室 北京 100039） |
| 发表年份 | 2003 |
| 发表月份 | 7期(831-836) |
| 文章摘要 | 摘要 在Coffey和Saidha提出的CS逻辑(CS逻辑将时间与逻辑结构相结合，可用于形式化分析Timed-release公钥协议的时间相关性秘密的安全性)的基础上,提出了CS逻辑的扩展逻辑，它更好地反映了Timed-release公钥协议的特性，并对一个协议实例进行了有效的形式化分析.图2参6 关键词 Timed-release公钥协议; CS扩展逻辑; 形式化分析 中图法分类号 TP309 |