%0 Journal Article
%T 基于Horn逻辑扩展模型的安全协议反例的自动构造
%A 李梦君
%A 李舟军
%A 陈火旺
%A 周  倜
%J -
%D 2007
%X 根据安全协议的Horn逻辑扩展模型和相应的安全协议验证方法，..
%K [安全协议
%K 扩展的Horn逻辑模型
%K 形式化验证
%K 反例
%K 复杂性
%K security protocol
%K extended Horn logic model
%K formal verification
%K counter-example
%K complexity]
%U http://crad.ict.ac.cn/CN/Y2007/V44/I9/1518