%0 Journal Article
%T 一种时间相关安全协议的自动验证工具
%A 黎兴华
%A 雷新锋
%A 刘军
%J 计算机应用
%D 2009
%X ？设计并实现了一个时间相关安全协议的自动验证工具。工具以一种时间相关安全协议逻辑tcpl为基础,以xml语言为描述方式,采用构造分层逻辑树的方法,完成了对安全协议目标的自动验证。实现结果表明,该工具简化了安全协议的证明过程,提高了效率,具有较好的实用性。
%K 分层逻辑树
%K 安全协议
%K 时间相关
%K 自动验证
%K layeredlogictree
%K securityprotocol
%K time-dependent
%K automatedverification
%U http://www.joca.cn/CN/abstract/abstract12079.shtml