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

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

来源：信息工程大学学报, 2014, (05): 525-530.

• 安全协议
• BAN类逻辑
• 形式化方法
• Otway-Rees协议 security protocol
• BAN-like logic
• formal methods
• Otway-Rees protocol

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

• 单位
  山东大学