标题:CS逻辑的分析及改进
作者:李丽;李正朝;秦静
作者机构:[李丽] 山东大学数学与系统科学学院, 济南, 山东 250100, 中国.;[秦静] 山东大学数学与系统科学学院, 济南, 山东 250100, 中国.;[李正朝] 解放军外国语学院训练部 更多
来源:山东大学学报. 工学版
出版年:2006
卷:36
期:5
页码:102-106
关键词:CS逻辑; Timed-release公钥协议; 推理规则
摘要:较之以往的形式化分析工具BAN及BAN类逻辑,CS逻辑是一种将时间与逻辑结构相结合的逻辑,是第一个用来分析与时间相关的Timedrelease公 钥协议的逻辑,本文分析了原始Cs逻辑的某些推理规则的缺陷,并对其作了改进及扩展,使其能够更好地反映Timed-release公钥协议的特性,并对 一个具体的Timed-release公钥协议用扩展后的推理规则进行了有效的形式化分析.
收录类别:CSCD
资源类型:期刊论文
原文链接:http://kns.cnki.net/kns/detail/detail.aspx?FileName=SDGY200605023&DbName=CJFQ2006
TOP