| 基于BAN逻辑分析Otway-Rees协议 |
| |
| 引用本文： | 邓永江.基于BAN逻辑分析Otway-Rees协议[J].巢湖学院学报,2006,8(3):35-37,34. |
| |
| 作者姓名： | 邓永江 |
| |
| 作者单位： | 合肥工业大学计算机与信息学院,安徽,合肥,230009;铜陵学院计算机系,安徽,铜陵,244000 |
| |
| 摘 要： | Otway-Rees协议主要功能是完成身份的双向认证,本文探讨了形式化分析在设计密码认证协议中的作用C基于Otway-Rees协议,用BAN逻辑对它进行形式分析,指出形式分析可以辅助发现协议的设计缺陷。
|
| 关 键 词： | BAN逻辑 规则 逻辑推理 形式化分析 |
| 收稿时间： | 2006-02-28 |
| 修稿时间： | 2006年2月28日 |
BASED ON BAN LOGIC ANALYSIS OTWAY-REES PROCOTOL |
| |
| DENG Yong-jiang.BASED ON BAN LOGIC ANALYSIS OTWAY-REES PROCOTOL[J].Chaohu College Journal,2006,8(3):35-37,34. |
| |
| Authors: | DENG Yong-jiang |
| |
| Abstract: | The Otway-Rees protocol main function was completes the the bidirectional authentication,this article discusses the formalized analysis in the design secret cipher authentication protocol;Based on the Otway-Rees protocol,carries on the form analysis with the BAN logic to it,points out form analysis may assist discovers protocol design flaw. |
| |
| Keywords: | BAN logic rule logic reasoning formal analysis |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
|
