【摘要】 认证性和保密性是认证协议设计的两个关键目标,针对在Needham-Schroeder和Otway-Rees两个协议基础上提出的一种新认证协议,首次利用串空间模型理论对此协议进行形式化分析,分析结果表明该协议满足设计所要求的认证性和保密性目标.更多还原

【Abstract】 For the authentication and secrecy are two critical targets to the de sign of an authentication protocol,formal analysis was carried on for the first time by using the strand space model to a new authentication protocol which was proposed based on the Needham-Schroeder Protocol and Otway-Rees Protocol,and t he result of analysis indicated that this protocol satisfies the authentication and secret goals which the design requests.更多还原