分析和设计安全协议的新逻辑的语义

• 作者: 何大可 缪祥华
• 来源期刊: 云南民族大学学报(自然科学版)
• 学科: 工学
• 关键词: 逻辑语义 安全协议 串空间
• 年，卷（期）: 2006,（2）
• 页码范围: 150-153
• 页数: 4页
• 分类号: TP309
• 字数: 4063字
• 语种: 中文
• DOI: 10.3969/j.issn.1672-8513.2006.02.019

摘要

文献[1]中提出了一种分析和设计安全协议的新逻辑.协议分析者可以用该逻辑来对安全协议进行分析,而协议设计者可以使用该逻辑用一种系统的方法来构造安全协议.文献[1]没有给出该逻辑的形式化语义,因为串空间模型具有良好的语义,现将新逻辑和串空间模型结合起来,给出新逻辑的串空间语义,并运用该语义证明了新逻辑的推理规则是正确的.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	何大可	西南交通大学信息安全与国家计算网格实验室	182	1679	20.0	31.0
2	缪祥华	西南交通大学计算机与通信工程学院	16	42	4.0	5.0