基于BAN逻辑分析Otway-Rees协议安全性

• 作者: 周小燕 李新中
• 来源期刊: 科技与创新
• 关键词: 安全协议 BAN逻辑 OtwayRees协议
• 年，卷（期）: 2007,（18）
• 所属期刊栏目: 信息安全
• 页码范围: 71-72,68
• 页数: 3页
• 分类号: TP393.08
• 语种: 中文
• DOI: 10.3969/j.issn.1008-0570.2007.18.030

摘要

本文通采用BAN逻辑对Otwa y-Rees协议建立理想化协议模型,利用协议的初始假设和BAN逻辑的公设分析了Otway-Rees协议的安全性.