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

• 作者: 段新东 马建峰 鲁来凤
• 来源期刊: 通信学报
• 学科: 工学
• 关键词: 安全协议 形式化方法 协议组合逻辑 Otway-Rees协议
• 年，卷（期）: 2012,（z1）
• 页码范围: 250-254
• 分类号: TP393.09
• 字数: 3545字
• 语种: 中文
• DOI: 10.3969/j.issn.1000-436x.2012.z1.033

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	马建峰	西安电子科技大学计算机网络与信息安全教育部重点实验室	389	4956	30.0	50.0
2	鲁来凤	陕西师范大学数学与信息科学学院	18	38	4.0	5.0
3	段新东	南阳理工学院软件学院	8	28	3.0	4.0