Needham-Schroeder公钥协议的模型检测分析
密码协议安全性的分析是当前网络安全研究领域的一个世界性难题.提出了运用模型检测工具SMV(symbolic model verifier)分析密码协议的方法,并对著名的Needham-Schroeder(NS )公钥协议进行了分析.分析结果表明,入侵者可以轻松地对NS公钥协议进行有效攻击,而这个攻击是BAN逻辑分析所没有发现过的.同时,给出了经SMV分析过的一个安全的NS公钥协议的改进版本.
模型检测、密码协议、形式方法
11
TP311(计算技术、计算机技术)
中国科学院资助项目69673025
2004-01-08（万方平台首次上网日期，不代表论文的发表时间）
共5页
1348-1352
