多重集合重写与Spi演算的安全协议分析方法

• 作者: 王亚弟 王全来 韩继红
• 来源期刊: 信息工程大学学报
• 学科: 工学
• 关键词: 安全协议分析 多重集合重写 Spi演算 一致性关系
• 年，卷（期）: 2007,（2）
• 所属期刊栏目: 教学与信息安全
• 页码范围: 165-170,187
• 页数: 7页
• 分类号: TN918
• 字数: 7604字
• 语种: 中文
• DOI: 10.3969/j.issn.1671-0673.2007.02.009

摘要

当形式化描述安全协议时,不同的规范语言采用不同的推理方法,其结果不能直接或容易地进行比较,因此在不同的框架中建立明确的关联是必要的.论文在多重集合重写MSR和Spi演算的形式化规范之间建立关联,并定义了一种双射;提出和证明了MSR和Spi演算之间在分析安全协议安全性时的一致性关系定理,利用这个关系对Needham-Schroeder公钥协议进行安全性分析.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	王亚弟	信息工程大学电子技术学院	47	175	7.0	10.0
2	韩继红	信息工程大学电子技术学院	34	264	7.0	15.0
3	王全来	信息工程大学电子技术学院	5	10	2.0	3.0