一种调和两种观点的安全协议分析法.pdfVIP

计算机研究与发展 !# $%%%$’()!*# $$$+++!,- （）： ， ./01234/5*/6 0891:9;931=32?9@94/6928 A(+ $’B%$’BB ’%%B 7 7 !!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!! 一种调和两种观点的安全协议分析法 赵华伟 李大兴 （山东大学网络信息安全研究所 济南 ） ’C%$%% （ ） I=03@# $B(J/6 ’ ! #$%’( *+(+$+,- !./,(’$! +/$1+23#$+.$’,’. 56+7’#6- ) ) 00 4 K