%0 Journal Article
%T Automated verification tool for time-dependent cryptographic protocols<br>一种时间相关安全协议的自动验证工具
%A LI Xing-hua
%A LEI Xin-feng
%A LIU Jun
%A <br>黎兴华
%A 雷新锋
%A 刘军
%J 计算机应用
%D 2009
%I 
%X An automated verification tool for analyzing time-dependent cryptographic protocol was proposed and implemented. Based on Time-dependent Cryptographic Protocol Logic (TCPL), the tool completed verifying the goals of cryptographic protocols automatically by the method of layered logic tree and using XML as its specification language. Experimental result shows that the tool can simplify the proving process, and improve the efficiency of security protocols verification.
%K layered logic tree
%K time-dependent
%K cryptographic protocols
%K automated verification<br>分层逻辑树
%K 时间相关
%K 安全协议
%K 自动验证
%U http://www.alljournals.cn/get_abstract_url.aspx?pcid=5B3AB970F71A803DEACDC0559115BFCF0A068CD97DD29835&cid=8240383F08CE46C8B05036380D75B607&jid=831E194C147C78FAAFCC50BC7ADD1732&aid=38B1014AE5F7ED6098FA5781BEE66D9F&yid=DE12191FBD62783C&vid=771469D9D58C34FF&iid=B31275AF3241DB2D&sid=ED2274D65CDCCA90&eid=B221F15A486F30C1&journal_id=1001-9081&journal_name=计算机应用&referenced_num=0&reference_num=8