%0 Journal Article
%T 一种新的密码协议分析方法及其应用
%A 文静华
%A 张梅
%A 李祥
%J 计算机应用
%D 2006
%X ？针对传统时序逻辑把协议看成封闭系统进行分析的缺点，提出一种新的基于策略的atl逻辑方法分析密码协议。最后用新方法对needham-schroeder协议进行了严格的形式化分析，结果验证了该协议存在重放攻击。工作表明基于博弈的atl逻辑比传统的ctl更适合于描述和分析密码协议。
%K 密码协议
%K 安全性
%K 形式化分析
%K atl
%U http://www.joca.cn/CN/abstract/abstract9972.shtml