%0 Journal Article
%T 认证协议两种形式化分析方法的比较
%A 卿斯汉？
%J 软件学报
%P 2028-2036
%D 2003
%X 串空间模型和csp方法是当前最著名的分析认证协议的形式化方法.通过一个具体的认证协议例子,比较两种方法的不同特点.
%K 认证协议
%K 形式化分析
%K 串空间模型
%K csp方法
%U http://www.jos.org.cn/ch/reader/view_abstract.aspx?file_no=20031207&flag=1