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

王全来; 王亚弟; 韩继红

首页> 中文期刊> 《信息工程大学学报》 >多重集合重写与Spi演算的安全协议分析方法

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

开具论文收录证明 >>

期刊封面封底目录下载 >>

文献代查 >>

页面导航

摘要
著录项
相似文献
相关主题

摘要

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

著录项

来源
《信息工程大学学报》 |2007年第2期|165-170187|共7页
作者
王全来; 王亚弟; 韩继红;
展开▼
作者单位

信息工程大学,电子技术学院,河南,郑州,450004;

解放军防空兵指挥学院,河南,郑州,450052;

信息工程大学,电子技术学院,河南,郑州,450004;

信息工程大学,电子技术学院,河南,郑州,450004;

展开▼
原文格式 PDF
正文语种 chi
中图分类通信保密与通信安全;
关键词
安全协议分析; 多重集合重写; Spi演算; 一致性关系;

相似文献

中文文献
外文文献
专利

1. 一个描述密码学安全协议的演算：Spi演算 [J] . 曾小平 ,孙永强 . 计算机科学 . 1999,第001期
2. 基于Spi演算的安全协议验证 [J] . 郑清雄 . 计算机应用与软件 . 2011,第003期
3. 基于Spi演算的SSL3.0安全协议仿真分析 [J] . 衷国涛 ,顾永跟 . 计算机仿真 . 2006,第002期
4. 基于SPI演算的移动自主网络安全路由协议分析 [J] . 王英龙 ,徐东红 ,王美琴 . 计算机工程与应用 . 2006,第006期
5. 基于Spi演算的SSL3.0协议安全性分析 [J] . 赵宇 ,王亚弟 ,韩继红 . 计算机应用 . 2005,第011期
6. 一种基于πt演算的安全协议建模方法 [C] . 韩进 ,谢俊元 . 2008中国计算机大会 . 2008
7. 基于Spi演算的安全协议形式化分析 [A] . 郑清雄 . 2010

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

摘要

著录项

相似文献

相关主题

期刊订阅