密钥分发协议及其形式化分析  

A Key Distribution Protocol and Its Formal Analysis

作　　者：解建军[1] 李俊红[1] 

机构地区：[1]河北师范大学数学与信息科学学院,河北石家庄050016

出　　处：《河北师范大学学报（自然科学版）》2003年第6期570-573,共4页Journal of Hebei Normal University：Natural Science

摘　　要：探讨了形式化分析在设计密码认证协议中的作用;基于Needham Schroeder共享密钥协议和Ot way Rees协议,提出了新的认证协议,并用BAN逻辑对它进行形式分析,发现了潜在的攻击方法,指出形式分析可以辅助发现协议的设计缺陷;并讨论了这种分析的局限性以及可能的改进方向.The function of formal analysis in the design of the authentication protocols is discussed;Based on NeedhamSchroeder protocol with shared key and OtwayRees protocol,an improvement is presented and then analyze it using BAN logic,according to the result of formal analysis,an attack mode to the protocol is show and point out that formal analysis is helpful for the design of protocol;at the end besides the actions of the logical analysis,the limitations and the directions for further improvement are discussed.

关 键 词：密钥分发协议 形式化分析 密码认证协议 BAN逻辑 Needham-Schroeder共享密钥协议 OTWAY-REES协议 网络安全 

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