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

• 作者: 刘爱森 屈萌 昝亚洲 王君
• 来源期刊: 信息工程大学学报
• 学科: 工学
• 关键词: 安全协议 BAN类逻辑 形式化方法 Otway-Rees协议
• 年，卷（期）: 2014,（5）
• 所属期刊栏目: 数学与信息安全
• 页码范围: 525-530
• 页数: 6页
• 分类号: TN918.1
• 字数: 3976字
• 语种: 中文
• DOI: 10.3969/j.issn.1671-0673.2014.05.003

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	王君		3	8	2.0	2.0
2	刘爱森	山东大学数学学院	2	5	1.0	2.0