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

Analysis of Amended Otway-Rees Protocol Based on Strand Space Model

作　　者：解颜铭[1,2] 石曙东[2] 翁艳琴[1,2] 

机构地区：[1]湖北师范学院数学与统计学院,湖北黄石435000 [2]湖北师范学院计算机科学与技术学院,湖北黄石435000

出　　处：《信息通信》2012年第3期160-162,共3页Information & Communications

基　　金：湖北省自然科学基金NO.2006ABA056;湖北省教育厅重点项目NO.D20092203;湖北省教育厅青年项目NO.Q20102503~~

摘　　要：串空间模型是一种新兴的密码协议形式化分析工具,其理论中理想和诚实概念的提出大大减少了协议的证明步骤。本文在Otway-Rees协议缺陷的基础上对它进行改进,并利用串空间模型的理论对改进后的Otway-Rees协议进行了形式化的分析。新的Otway-Rees协议满足其安全目标,是安全可行的。Strand space model is a new formal analysis tool for the analysis of cryptographic protocols.Its proposition of two concepts on ideal and honest simplifies the process of verification of cryptographic protocols.This paper improve Otway-Rees protocol based on its defect.It uses the theory of strand space model to formal analysis of the improved Otway-Rees protocol.The new Otway-Rees protocol meets its security objectives,is safe and feasible.

关 键 词：安全协议 OTWAY-REES协议 串空间 认证性 机密性 

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