CS逻辑的分析及改进  

The analysis and the modification of the CS logic

作　　者：李丽[1] 李正朝[2] 秦静[1] 

机构地区：[1]山东大学数学与系统科学学院,山东济南250100 [2]解放军外国语学院训练部,河南洛阳471003

出　　处：《山东大学学报（工学版）》2006年第5期102-106,共5页Journal of Shandong University（Engineering Science）

基　　金：国家自然科学基金资助项目(60373039);国家"863"基金资助项目(2003AA144151);山东省自然科学基金资助项目(Y2003A03)

摘　　要：较之以往的形式化分析工具BAN及BAN类逻辑,CS逻辑是一种将时间与逻辑结构相结合的逻辑,是第一个用来分析与时间相关的Timed--release公钥协议的逻辑,本文分析了原始CS逻辑的某些推理规则的缺陷,并对其作了改进及扩展,使其能够更好地反映Timed--release公钥协议的特性,并对一个具体的Timed-release公钥协议用扩展后的推理规则进行了有效的形式化分析.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.

关 键 词：CS逻辑 Timed-release公钥协议 推理规则 

分 类 号：O23[理学—运筹学与控制论]