一个认证协议的串空间模型与分析  

The Strand Space Model of an Authentication Protocol and Its Analysis

作　　者：余磊[1] 魏仕民[1] 王猛[1] 顾维娜 

机构地区：[1]淮北煤炭师范学院计算机科学与技术学院,安徽淮北235000

出　　处：《淮北煤炭师范学院学报（自然科学版）》2010年第1期38-42,共5页Journal of Huaibei Coal Industry Teachers College(Natural Science edition)

摘　　要：认证性和保密性是认证协议设计的两个关键目标,针对在Needham-Schroeder和Otway-Rees两个协议基础上提出的一种新认证协议,首次利用串空间模型理论对此协议进行形式化分析,分析结果表明该协议满足设计所要求的认证性和保密性目标.For the authentication and secrecy are two critical targets to the design of an authentication protocol, formal analysis was carried on for the first time by using the strand space model to a new authentication which was proposed based on the Needham- Schroeder Protocol and Otway- Rees Protocol, and the result of analysis indicated that this protocol satisfies the authentication and secret goals which the design requests.

关 键 词：串空间模型 认证协议 认证性 保密性 

分 类 号：TP309.2[自动化与计算机技术—计算机系统结构]