%0 Journal Article
%T Needham-Schroeder公钥协议的模型检测分析
%A 吴建平
%A 张玉清
%A 王磊
%A 肖国镇
%J -
%D 2000
%X 密码协议安全性的分析是当前网络安全研究领域的一个世界性难题.提出了运用模型检测工 具SMV(symbolic model verifier)分析密码协议的方法,并对著名的Needham-Schroeder(NS )公钥协议进行了分析.分析结果表明,入侵者可以轻松地对NS公钥协议进行有效攻击,而这个 攻击是BAN逻辑分析所没有发现过的.同时,给出了经SMV分析过的一个安全的NS公钥协议 的改进版本
%K 模型检测
%K 密码协议
%K 形式方法.
%U http://www.jos.org.cn/jos/ch/reader/view_abstract.aspx?file_no=20001013&flag=1