%0 Journal Article
%T A New Approach for Formal Analyzing Encryption Protocols<br>一种新的密码协议分析方法及其应用
%A WEN Jing-hua
%A ZHANG Mei
%A LI Xiang
%A <br>文静华
%A 张梅
%A 李祥
%J 计算机应用
%D 2006
%I 
%X Aiming at the shortcoming that traditional temporal logic regards protocols as close system to analyse, this paper proposes a ATL(Alternating-time Temporal Logic)logical method based on game to analyse cryptographic protocols. In the end, we make strict formal analysis for needham-schroeder protocol with this new method, as a result we validate there exists reply attacks. These works indicate that the ATL logic based on game is more suitable to describe and analyze cryptographic protocols than traditional CTL.
%K ATL<br>密码协议
%K 安全性
%K 形式化分析
%U http://www.alljournals.cn/get_abstract_url.aspx?pcid=5B3AB970F71A803DEACDC0559115BFCF0A068CD97DD29835&cid=8240383F08CE46C8B05036380D75B607&jid=831E194C147C78FAAFCC50BC7ADD1732&aid=12CC1CEA8E1883C6&yid=37904DC365DD7266&vid=96C778EE049EE47D&iid=94C357A881DFC066&sid=DE3C727FE2D9509D&eid=4997AFD17F6FADE1&journal_id=1001-9081&journal_name=计算机应用&referenced_num=0&reference_num=9