Otway-Rees协议改进及形式化证明

鲁来凤; 段新东; 马建峰

首页> 中文期刊> 《通信学报》 >Otway-Rees协议改进及形式化证明

Otway-Rees协议改进及形式化证明

开具论文收录证明 >>

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

文献代查 >>

页面导航

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

摘要

选取认证密钥分配协议Otway-Rees协议作为研究对象,利用协议组合逻辑(PCL)作为协议证明工具,对安全协议形式化分析及证明进行了研究。首先给出了Otway-Rees协议常见的攻击形式,分析了存在的缺陷,提出了改进方案(AOR协议);然后,为了更好地形式化描述AOR协议,对传统的PCL进行一定的扩展;紧接着,用扩展后的PCL对改进的协议中各个实体的行为和协议的安全属性进行形式化描述,将改进后的协议进行模块化划分,并利用PCL进行组合证明;最后,得出改进后的AOR协议具有密钥保密属性。

著录项

来源
《通信学报》 |2012年第s1期|250-254|共5页
作者
鲁来凤; 段新东; 马建峰;
展开▼
作者单位

陕西师范大学数学与信息科学学院;

南阳理工学院软件学院;

西安电子科技大学计算机网络与信息安全教育部重点实验室;

展开▼
原文格式 PDF
正文语种 chi
中图分类 TN91-55;
关键词
安全协议; 形式化方法; 协议组合逻辑; Otway-Rees协议;

相似文献

中文文献
外文文献
专利

1. 基于进程代数的Otway-Rees协议的形式化验证 [J] . 蔡雨桐 ,王勇 ,王然然 . 计算机科学 . 2021,第0z1期
2. 基于SPIN的远程证明协议的形式化分析及改进 [J] . 秦嫚蔓 ,王峥 ,王莉 . 计算机工程与应用 . 2017,第001期
3. Otway-Rees协议改进及安全分析 [J] . 王君 ,昝亚洲 ,刘爱森 . 信息工程大学学报 . 2014,第005期
4. 基于串空间模型的改进型Otway-Rees协议分析 [J] . 解颜铭 ,石曙东 ,翁艳琴 . 信息通信 . 2012,第003期
5. 改进型Otway-Rees协议的串空间模型分析 [J] . 赵自强 ,胡国彪 ,张玉中 . 科技风 . 2011,第006期
6. Otway-Rees协议改进及安全分析 [C] . WANG Jun ,王君 ,ZAN Ya-zhou . 第2届河南省计算机专业研究生“尖峰”论坛 . 2014
7. 安全协议分析的形式化理论与方法——基于定理证明的安全协议建模研究 [A] . 王焕宝 . 2006

Otway-Rees协议改进及形式化证明

摘要

著录项

相似文献

相关主题

期刊订阅