摘要
探讨了形式化分析在设计密码认证协议中的作用;基于Needham Schroeder共享密钥协议和Ot way Rees协议,提出了新的认证协议,并用BAN逻辑对它进行形式分析,发现了潜在的攻击方法,指出形式分析可以辅助发现协议的设计缺陷;并讨论了这种分析的局限性以及可能的改进方向.
The function of formal analysis in the design of the authentication protocols is discussed;Based on NeedhamSchroeder protocol with shared key and OtwayRees 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.
出处
《河北师范大学学报（自然科学版）》
CAS
2003年第6期570-573,共4页
Journal of Hebei Normal University：Natural Science
