Otway-Rees协议改进及安全分析

摘要：

选取Otway-Rees协议作为研究对象,用一种改进的BAN类逻辑——安全协议分析本征逻辑(SPALL)作为协议分析工具展开研究.首先对SPALL系统进行扩展,针对Otway-Rees协议存在的缺陷,提出了改进方案.为了更好地描述改进协议,用SPALL系统对其安全属性进行了形式化描述,并做出安全分析.分析结果表明,改进协议能够确保密钥分发的正确性,并具有密钥机密性和强认证性,还能满足通信双方验证会话密钥一致性的要求.

关键词： 选取认证密钥分配协议 BAN类逻辑 形式化方法 安全性分析

作者: 王君 昝亚洲 刘爱森 屈萌

作者单位: 数学工程与先进计算国家重点实验室,河南 郑州 450001 数学工程与先进计算国家重点实验室,河南 郑州 450001;92187部队,山西 长治 046011 山东大学 数学学院,山东 济南 250100 95900部队,河南 开封 475000

会议类型: 国内会议

会议名称: 第2届河南省计算机专业研究生“尖峰”论坛

会议地点: 郑州

会议语种:中文

页码: 525-530

在线出版日期: 2014-10-01（万方平台首次上网日期，不代表论文的发表时间）