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

BASED ON BAN LOGIC ANALYSIS OTWAY-REES PROCOTOL

作　　者：邓永江[1] 

机构地区：[1]合肥工业大学计算机与信息学院

出　　处：《巢湖学院学报》2006年第3期35-37,34,共4页Journal of Chaohu University

摘　　要：Otway-Rees协议主要功能是完成身份的双向认证,本文探讨了形式化分析在设计密码认证协议中的作用C基于Otway-Rees协议,用BAN逻辑对它进行形式分析,指出形式分析可以辅助发现协议的设计缺陷。The Otway-Rees protocol main function was this article discusses the formalized analysis in the Based on the Otway-Rees protocol, carries on the form form analysis may assist discovers protocol design flaw. completes the the bidirectional authentication, design secret cipher authentication protocol; analysis with the BAN logic to it, points out

关 键 词：BAN逻辑 规则 逻辑推理 形式化分析 

分 类 号：TP393.08[自动化与计算机技术—计算机应用技术]