%0 Journal Article
%T Time-dependent extension logic of secure protocols<br>一种时间相关的分析安全协议的扩展逻辑
%A ZHAO Hua-wei
%A LI Da-xing
%A QIN Jing
%A <br>赵华伟
%A 李大兴
%A 秦 静
%J 计算机应用
%D 2005
%I 
%X CS logic added the time into logic structure, so it could be used to analyze the security of time-dependent secrets of timed-release public key cryptographic protocols. An extension of CS logic was proposed in this paper, which corrected some defects of CS logic, and extended the logic to analyze the symmetrical key cryptographic protocols. Finally a good formal analysis of a concrete protocol was given.
%K CS logic
%K authentication protocol
%K formal analysis<br>CS逻辑
%K 认证协议
%K 形式化分析
%U http://www.alljournals.cn/get_abstract_url.aspx?pcid=5B3AB970F71A803DEACDC0559115BFCF0A068CD97DD29835&cid=8240383F08CE46C8B05036380D75B607&jid=831E194C147C78FAAFCC50BC7ADD1732&aid=F6F33E870AA4ECBC&yid=2DD7160C83D0ACED&vid=C5154311167311FE&iid=F3090AE9B60B7ED1&sid=6AC4A3AFEFBBEB5D&eid=412406815C5C2F79&journal_id=1001-9081&journal_name=计算机应用&referenced_num=0&reference_num=4