OTWAY-REES协议

作品数：12被引量：9H指数：2
导出分析报告
相关领域：自动化与计算机技术电子电信更多>>
相关作者：段新东鲁来凤马建峰李俊红解建军更多>>
相关机构：中国科学院软件研究所陕西师范大学西安电子科技大学南阳理工学院更多>>
相关期刊：《计算机与现代化》《科技风》《通信学报》《小型微型计算机系统》更多>>
相关基金：国家自然科学基金中央高校基本科研业务费专项资金陕西省自然科学基金江西省自然科学基金更多>>
-
在结果中检索

检索结果分析

结果分析中...
共 条 记 录，以下是1-10
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
基于进程代数的Otway-Rees协议的形式化验证
《计算机科学》2021年第S01期477-480,共4页蔡雨桐 王勇 王然然 姜正涛 代桂平 
广西密码学与信息安全重点实验室研究课题(GCIS201808)。
Otway-Rees协议的目的是完成发起者和响应者之间的双向认证,并且分发服务器产生的会话密钥。该协议的特点是简单实用,没有使用复杂的同步时钟机制或双重加密,仅用少量的信息提供了良好的时效性。此协议允许通过一个网络的个别通信认证...
关键词：Otway-Rees 安全协议 协议验证 形式化 进程代数 
安全协议验证中DY模型的构建框架被引量：1
《福建工程学院学报》2015年第3期239-243,共5页唐郑熠 杨芳 薛醒思 
福建省中青年教师教育科研项目(JB14069);福建工程学院科研启动基金项目(GY-Z13112)
攻击者建模是安全协议验证工作的一个重要部分,直接影响到验证的效率与质量,但目前却还没有一个可遵循的形式化框架,影响了建模工作的准确性与客观性。针对这一问题,通过对在安全协议验证中具有广泛影响的DY模型进行形式化,建立了一个D...
关键词：安全协议 形式化 DY模型 攻击者 OTWAY-REES协议 
Otway-Rees协议改进及安全分析被引量：1
《信息工程大学学报》2014年第5期525-530,共6页王君 昝亚洲 刘爱森 屈萌 
国家973计划资助项目(2012CB315905;2012CB315901)
选取Otway-Rees协议作为研究对象,用一种改进的BAN类逻辑――安全协议分析本征逻辑(SPALL)作为协议分析工具展开研究。首先对SPALL系统进行扩展,针对Otway-Rees协议存在的缺陷,提出了改进方案。为了更好地描述改进协议,用SPALL系统对其...
关键词：安全协议 BAN类逻辑 形式化方法 OTWAY-REES协议 
Otway-Rees协议改进及形式化证明被引量：3
《通信学报》2012年第S1期250-254,共5页鲁来凤 段新东 马建峰 
国家自然科学基金资助项目(61173190);陕西省自然科学基金资助项目(2009JM8002;2012JQ8023);中央高校基本科研业务费基金资助项目(GK200902051;GK201002041;GK201002037)~~
选取认证密钥分配协议Otway-Rees协议作为研究对象,利用协议组合逻辑(PCL)作为协议证明工具,对安全协议形式化分析及证明进行了研究。首先给出了Otway-Rees协议常见的攻击形式,分析了存在的缺陷,提出了改进方案(AOR协议);然后,为了更好...
关键词：安全协议 形式化方法 协议组合逻辑 OTWAY-REES协议 
基于串空间模型的改进型Otway-Rees协议分析
《信息通信》2012年第3期160-162,共3页解颜铭 石曙东 翁艳琴 
湖北省自然科学基金NO.2006ABA056;湖北省教育厅重点项目NO.D20092203;湖北省教育厅青年项目NO.Q20102503~~
串空间模型是一种新兴的密码协议形式化分析工具,其理论中理想和诚实概念的提出大大减少了协议的证明步骤。本文在Otway-Rees协议缺陷的基础上对它进行改进,并利用串空间模型的理论对改进后的Otway-Rees协议进行了形式化的分析。新的Otw...
关键词：安全协议 OTWAY-REES协议 串空间 认证性 机密性 
改进型Otway-Rees协议的串空间模型分析被引量：1
《科技风》2011年第6期70-71,共2页赵自强 胡国彪 张玉中 
本文在介绍了串空间模型的基本概念和定理的基础上,提出了改进型的Otway-Rees认证协议,然后利用串空间模型的理论和方法,从机密性和可鉴别性两个方面对改进型Otway-Rees协议进行了分析,分析结果表明该改进型协议是安全的。
关键词：安全协议 Otway—Rees协议 串空间 
Otway-Rees协议的分析及改进被引量：1
《计算机与现代化》2010年第6期74-76,共3页程莹 肖美华 
江西省自然科学基金资助项目(0611057;2007GZS1884)
通过对Otway-Rees这一密钥交换协议进行协议漏洞分析,本文给出协议本身存在的4种攻击,探讨一种改进方法,从而有效地改善协议的安全性及秘密性。
关键词：Otway-Rees BAN逻辑 密钥交换 安全性分析 
对Otway-Rees协议的一个改进方法被引量：1
《计算机应用》2007年第B06期260-260,263,共2页卢凤清 林东岱 
在使用串空间理论对Otway-Rees协议进行分析时发现协议的双方不能保证收到的会话密钥的一致性。针对这一问题,提出了一种改进方法,改进后的方法不仅保证了会话密钥的一致性,而且使双方的认证性得到了改善。
关键词：串空间 认证测试 形式化方法 认证协议 
基于BAN逻辑分析Otway-Rees协议
《巢湖学院学报》2006年第3期35-37,34,共4页邓永江 
Otway-Rees协议主要功能是完成身份的双向认证,本文探讨了形式化分析在设计密码认证协议中的作用C基于Otway-Rees协议,用BAN逻辑对它进行形式分析,指出形式分析可以辅助发现协议的设计缺陷。
关键词：BAN逻辑 规则 逻辑推理 形式化分析 
密钥分发协议及其形式化分析被引量：2
《河北师范大学学报（自然科学版）》2003年第6期570-573,共4页解建军 李俊红 
探讨了形式化分析在设计密码认证协议中的作用;基于Needham Schroeder共享密钥协议和Ot way Rees协议,提出了新的认证协议,并用BAN逻辑对它进行形式分析,发现了潜在的攻击方法,指出形式分析可以辅助发现协议的设计缺陷;并讨论了这种分...
关键词：密钥分发协议 形式化分析 密码认证协议 BAN逻辑 Needham-Schroeder共享密钥协议 OTWAY-REES协议 网络安全 
全选清除导出
共2页<12>
检索报告 对象比较 聚类工具 使用帮助 返回顶部