| 多重集合重写与Spi演算的安全协议分析方法 |
| |
| 引用本文： | 王全来,王亚弟,韩继红. 多重集合重写与Spi演算的安全协议分析方法[J]. 信息工程大学学报, 2007, 8(2): 165-170,187 |
| |
| 作者姓名： | 王全来 王亚弟 韩继红 |
| |
| 作者单位： | 1. 信息工程大学,电子技术学院,河南,郑州,450004;解放军防空兵指挥学院,河南,郑州,450052
2. 信息工程大学,电子技术学院,河南,郑州,450004 |
| |
| 摘 要： | 当形式化描述安全协议时,不同的规范语言采用不同的推理方法,其结果不能直接或容易地进行比较,因此在不同的框架中建立明确的关联是必要的。论文在多重集合重写MSR和Spi演算的形式化规范之间建立关联,并定义了一种双射;提出和证明了MSR和Spi演算之间在分析安全协议安全性时的一致性关系定理,利用这个关系对Needham-Schroeder公钥协议进行安全性分析。
|
| 关 键 词： | 安全协议分析 多重集合重写 Spi演算 一致性关系 |
| 文章编号： | 1671-0673（2007）02-0165-06 |
| 修稿时间： | 2007-01-292007-04-25 |
Multiset Rewriting and Spi Calculus Method for Analyzing Security Protocols |
| |
| WANG Quan-lai,WANG Ya-di,HAN Ji-hong. Multiset Rewriting and Spi Calculus Method for Analyzing Security Protocols[J]. , 2007, 8(2): 165-170,187 |
| |
| Authors: | WANG Quan-lai WANG Ya-di HAN Ji-hong |
| |
| Affiliation: | 1, Institute of Electronic Technology, Information Engineering University, Zhengzhou 450004 ,China; 2. The PLA Air Defense Forces Command College, Zhengzhou 450052,China |
| |
| Abstract: | When formalizing security protocols,different specification languages support different reasoning methodologies,whose results are not directly or easily compared.Therefore,establishing clear mappings among different frameworks is highly necessary.In this paper,we establish a relation between MSR and Spi calculus,and we define a bijection between them.Then,we propose and prove a correspondence relation between the two languages,and analyze the Needham-Schroeder public key protocol by using it. |
| |
| Keywords: | security protocol analysis multiset rewriting spi calculus correspondence relation |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
| 点击此处可从《信息工程大学学报》浏览原始摘要信息 |
|
点击此处可从《信息工程大学学报》下载免费的PDF全文 |
|
