%0 Journal Article
%T 一种时间相关的分析安全协议的扩展逻辑
%A 赵华伟
%A 李大兴
%A 秦静
%J 计算机应用
%D 2005
%X ？coffey和saidha提出的cs逻辑可以分析与时间相关的的公钥协议。〖bp）〗在对cs逻辑进行研究的基础上，提出了cs逻辑的扩展逻辑。该扩展逻辑对cs逻辑中存在的一些缺陷进行了修改和扩展，使其不仅可以分析公钥协议，还可以分析对称密钥协议。最后对一个协议实例进行了有效的形式化分析。
%K cs逻辑
%K 认证协议
%K 形式化分析
%U http://www.joca.cn/CN/abstract/abstract9474.shtml