%0 Journal Article
%T 安全协议的形式化描述和分析
%A 宋震 张艳 李舟军 陈火旺？
%J 计算机科学
%D 2003
%X securityprotocolsusecryptographysystemtocompletethetasksofprincipalidentityauthenticationandseccionkeydistribution.thecorrectnessofsecurityprotocolsisofvitalimportancetoensurethesecurityoftheinter-netapplication.formalme
%K 计算机网络安全协议形式化描述通信协议信念逻辑
%U http://www.jsjkx.com/jsjkx/ch/reader/view_abstract.aspx?file_no=8595210&flag=1