改进型Otway-Rees协议的串空间模型分析  

Ihe Analysis of the Revised Otway-Rees Protocol Stand Space Model

作　　者：赵自强[1,2] 胡国彪[2] 张玉中[2] 

机构地区：[1]河南教育学院,河南郑州450000 [2]成都理工大学,四川成都610059

出　　处：《科技风》2011年第6期70-71,共2页

摘　　要：本文在介绍了串空间模型的基本概念和定理的基础上,提出了改进型的Otway-Rees认证协议,然后利用串空间模型的理论和方法,从机密性和可鉴别性两个方面对改进型Otway-Rees协议进行了分析,分析结果表明该改进型协议是安全的。The basic notion and tbeonns of Stand spaces model are introduced. Based on the thory o fstand space, the revised Otway-Rees protocolis analysed from the aspects of both confidentiality and authentication.The analysis provesthe correc thess of the protocol.

关 键 词：安全协议 Otway—Rees协议 串空间 

分 类 号：TP393.4[自动化与计算机技术—计算机应用技术]