%0 Journal Article
%T A Comparison Between Two Formal Analysis Methods on Authentication Protocols<br>认证协议两种形式化分析方法的比较
%A QING Si-Han
%A <br>卿斯汉
%J 软件学报
%D 2003
%I 
%X Strand space model and CSP method are two popular approaches to formal analysis for authentication protocols. In this paper, the different characteristics of the above approaches are outlined through a concrete authentication protocol.
%K authentication protocol
%K formal analysis
%K strand space model
%K CSP method<br>认证协议
%K 形式化分析
%K 串空间模型
%K CSP方法
%U http://www.alljournals.cn/get_abstract_url.aspx?pcid=5B3AB970F71A803DEACDC0559115BFCF0A068CD97DD29835&cid=8240383F08CE46C8B05036380D75B607&jid=7735F413D429542E610B3D6AC0D5EC59&aid=881A2D1581353A50&yid=D43C4A19B2EE3C0A&vid=F3583C8E78166B9E&iid=59906B3B2830C2C5&sid=DE9F9A03FB2549EC&eid=1AE9108C480054ED&journal_id=1000-9825&journal_name=软件学报&referenced_num=5&reference_num=26