%0 Journal Article
%T 一种基于关联规则的安全协议验证方法
%A 胡声洲
%A 余敏
%A 章志明
%J 计算机应用
%D 2007
%X ？提出了一种基于关联规则的安全协议形式化分析方法。从主体认证关联、消息间关联和消息内部关联三个角度去刻画协议,提出了基于以上关联特点的协议验证方法。利用该方法对wooandlam认证协议进行了逆向验证分析，成功推导出现有的已知攻击路径，使这些已知攻击路径的推导能统一于该验证方法；同时还发现了一个未知的攻击路径，为协议的形式化分析提供了新思路。
%K 安全协议
%K 关联规则
%K 验证方法
%U http://www.joca.cn/CN/abstract/abstract10344.shtml