| CS逻辑的分析及改进 |
| |
| 引用本文： | 李丽,李正朝,秦静.CS逻辑的分析及改进[J].山东工业大学学报,2006,36(5):102-106. |
| |
| 作者姓名： | 李丽 李正朝 秦静 |
| |
| 作者单位： | [1]山东大学数学与系统科学学院,山东济南250100 [2]解放军外国语学院训练部,河南洛阳471003 |
| |
| 基金项目： | 国家自然科学基金资助项目（60373039）;国家“863”基金资助项目（2003AA144151）;山东省自然科学基金资助项目（Y2003A03） |
| |
| 摘 要： | 较之以往的形式化分析工具BAN及BAN类逻辑，CS逻辑是一种将时间与逻辑结构相结合的逻辑，是第一个用来分析与时间相关的Timed—release公钥协议的逻辑，本文分析了原始Cs逻辑的某些推理规则的缺陷，并对其作了改进及扩展，使其能够更好地反映Timed-release公钥协议的特性，并对一个具体的Timed-release公钥协议用扩展后的推理规则进行了有效的形式化分析．
|
| 关 键 词： | CS逻辑 Timed-release公钥协议 推理规则 |
| 文章编号： | 1672-3961（2006）05-0102-05 |
| 收稿时间： | 2005-04-20 |
The analysis and the modification of the CS logic |
| |
| LI Li, LI Zheng-chao, QIN Jing,.The analysis and the modification of the CS logic[J].Journal of Shandong University of Technology,2006,36(5):102-106. |
| |
| Authors: | LI Li LI Zheng-chao QIN Jing |
| |
| Affiliation: | 1. School of Mathematics and System Science, Shandong University, Jinan 250100, China; 2. Department of Training, The Foreign Language College of PLA, Luoyang 471003, China |
| |
| Abstract: | Compared with the existed analysis tools BAN and BAN-like, the CS Logic is a logic that combining time and logic structure. It is the first logic to be used to analyse Timed-release Cryptographic protocols that related to time. Some defects of the inference rules in former CS logic were analysed, modified and expanded to reflect the characters of Timed-release cryptographic protocols better. And finally, a specific Timed-release cryptographic protocol was analysed effectively by using these improved inference rules. |
| |
| Keywords: | CS Logic timed-release cryptographic protocol inference rules |
| 本文献已被 维普 等数据库收录！ |
