| 基于串空间模型的改进型 Otway-Rees 协议分析 |
| |
| 引用本文： | 解颜铭,石曙东,翁艳琴.基于串空间模型的改进型 Otway-Rees 协议分析[J].信息通信,2012(3):160-162. |
| |
| 作者姓名： | 解颜铭 石曙东 翁艳琴 |
| |
| 作者单位： | 1. 湖北师范学院数学与统计学院,湖北黄石435000
2. 湖北师范学院计算机科学与技术学院,湖北黄石435000 |
| |
| 基金项目： | 湖北省自然科学基金NO.2006ABA056;湖北省教育厅重点项目NO.D20092203;湖北省教育厅青年项目NO.Q20102503~~ |
| |
| 摘 要： | 串空间模型是一种新兴的密码协议形式化分析工具,其理论中理想和诚实概念的提出大大减少了协议的证明步骤.本文在 Otway-Rees 协议缺陷的基础上对它进行改进,并利用串空间模型的理论对改进后的 Otway-Rees 协议进行了形式化的分析.新的 Otway-Rees 协议满足其安全目标,是安全可行的
|
| 关 键 词： | 安全协议 Otway-Rees 协议 串空间 认证性 机密性 |
Analysis of Amended Otway-Rees Protocol Based on Strand Space Model |
| |
| Abstract: | 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. |
| |
| Keywords: | Cryptographic protocol Otway-Rees protocol Stand space authentication confidentiality |
| 本文献已被 CNKI 万方数据 等数据库收录！ |
