|
|
计算机科学 2003
安全协议的形式化描述和分析Keywords: 计算机网络安全协议形式化描述通信协议信念逻辑 Abstract: securityprotocolsusecryptographysystemtocompletethetasksofprincipalidentityauthenticationandseccionkeydistribution.thecorrectnessofsecurityprotocolsisofvitalimportancetoensurethesecurityoftheinter-netapplication.formalme
|
