认证协议设计逻辑的语义

• 作者: 何大可 缪祥华
• 来源期刊: 计算机工程
• 学科: 工学
• 关键词: 逻辑语义 认证协议设计 串空间
• 年，卷（期）: 2006,（9）
• 所属期刊栏目: 博士论文
• 页码范围: 31-32,35
• 页数: 3页
• 分类号: TP309
• 字数: 2603字
• 语种: 中文
• DOI: 10.3969/j.issn.1000-3428.2006.09.011

摘要

Levente Buttyan等人提出了一种认证协议设计的简单逻辑,协议设计者可以使用该逻辑,用一种系统的方法来构造认证协议.该文把简单逻辑和串空间(Strand Space)模型结合起来,给出了简单逻辑的串空间语义,然后运用该语义证明了简单逻辑的推理规则是正确的.

作者信息

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