首页> 中文期刊> 《科技风》 >改进型Otway-Rees协议的串空间模型分析

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

开具论文收录证明 >>

期刊封面封底目录下载 >>

文献代查 >>

页面导航

摘要
著录项
相似文献
相关主题

摘要

本文在介绍了串空间模型的基本概念和定理的基础上.提出了改进型的Otway-Rees认证协议,然后利用串空间模型的理论和方法,从机密性和可鉴别性两个方面对改进型Otway-Rees协议进行了分析,分析结果表明该改进型协议是安全的.

著录项

来源
《科技风》 |2011年第6期|70-71|共2页
作者
赵自强; 胡国彪; 张玉中;
展开▼
作者单位

河南教育学院,河南郑州,450000;

成都理工大学,四川成都,610059;

成都理工大学,四川成都,610059;

成都理工大学,四川成都,610059;

展开▼
原文格式 PDF
正文语种 chi
中图分类
关键词
安全协议; Otway-Rees协议; 串空间;

相似文献

中文文献
外文文献
专利

1. 基于串空间模型的改进型Otway-Rees协议分析 [J] . 解颜铭 ,石曙东 ,翁艳琴 . 信息通信 . 2012,第003期
2. 改进型Helsinki协议的串空间模型分析 [J] . 成敏盈 ,陈潮填 ,徐文华 . 计算机工程与设计 . 2008,第019期
3. 基于串空间模型的Andrew安全RPC协议分析 [J] . 刘慧芳 . 电脑编程技巧与维护 . 2012,第004期
4. 基于串空间的Ad Hoc安全路由协议攻击分析模型 [J] . 董学文 ,马建峰 ,牛文生 . 软件学报 . 2011,第007期
5. 一个认证协议的串空间模型与分析 [J] . 余磊 ,魏仕民 ,王猛 . 淮北师范大学学报（自然科学版） . 2010,第001期
6. 基于扩展串空间模型对802.11i四步握手协议的分析 [C] . 周世健 ,蒋睿 ,杨晓辉 . 第六届中国信息和通信安全学术会议（CCICS'2009） . 2009
7. 基于串空间模型的安全协议形式化分析与研究 [A] . 闫敏 . 2012

获取原文

客服邮箱：kefu@zhangqiaokeyan.com

京公网安备：11010802029741号 ICP备案号：京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有

客服微信
服务号