IKE2协议的安全性分析

来源 :计算机科学 | 被引量 : 0次 | 上传用户：deterly

【摘要】

：

本文首先扩展了串空间的理想理论,然后应用此扩展理论分析IKE2协议的核心安全:秘密性和认证性.通过分析,证明了IKE2协议的密钥交换和认证安全性,但同时发现它不能在主动攻击

【作者】

：

沈海峰薛锐黄河燕

【机构】

：

中国科学技术大学计算机科学系,中科院软件所信息安全国家重点实验室,中国科学技术大学计算机科学系

【出处】

：

计算机科学

【发表日期】

：

2005年11期

【关键词】

：

安全协议扩展串空间理想 IKE2 安全性分析协议分析密钥交换攻击模式修改意见空间理论 Security protocols Extended s

下载到本地 , 更方便阅读

下载此文赞助VIP

声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架

论文部分内容阅读

本文首先扩展了串空间的理想理论,然后应用此扩展理论分析IKE2协议的核心安全:秘密性和认证性.通过分析,证明了IKE2协议的密钥交换和认证安全性,但同时发现它不能在主动攻击模式下保护发起者身份,对此我们提出了一个修改意见.对IKE2的分析也为扩展串空间理论在复杂协议分析中的应用提供了一个实践基础.

其他文献

一种电子商务协议原子性的模型检验分析方法

提出了一个分析电子商务协议的形式化模型,介绍了基于该模型的电子商务协议原子性的描述方法.同其他模型相比,该模型能较好地分析具有多个实例并发运行时电子商务协议的原子

期刊

电子商务协议原子性检验分析形式化模型描述方法检验工具符号模型Electronic commerce protocolModel checkin

试论和谐教育模式在体育教学中的运用

摘要:和谐教育从社会发展需要和学生身心发展需要出发,将“社会本位”与“人本位”的教育观融为一体,使教育过程符合学生身心发展的规律,进而使“教”与“学”产生谐振效应,促进学生基本素质获得全面、和谐、充分的发展。关键词:和谐; 学生观; 协同教学观; 教学法中图分类号:G633.96 文献标识码:A 文章编号:1006-3315(2010)6-040-001和谐教育的首要任务是追求受教育者身心发展的

期刊

和谐学生观协同教学观教学法

MIS智能处理的近似评判法及其算法研究

在MIS的设计中,智能技术的使用是一大趋势[1,2].本文围绕关键词的智能检索问题,完成了三部分工作:1)探讨了近似评判方法在MIS智能处理中的应用;2)给出了一个文献检索智能接口

期刊

MIS管理信息系统智能技术智能处理近似评判法算法关键词检索问题MISLiterature organizationAnalogic ju

钛硅沸石研究进展迅速

第12届国际沸石会议于1998年7月5～10日在美国巴尔的摩召开。有700多位学者与会,交流论文487篇。会议设10个专题:①中孔材料;②理论与模型;③扩散与吸附;④合成结构和表征;⑤催

期刊

钛硅沸石沸石骨架沸石合成研究进展分子筛膜氧化催化剂催化活性表征中孔沸石日本学者

前交叉韧带重建术后6大常见问题

前交叉韧带又名前十字韧带，是膝关节里面重要的韧带之一，它最重要的功能是维持膝关节的稳定，尤其是运动时的稳定。但前交叉韧带容易在起跳落地、急停急转时出现状况，比如撕裂、断裂。如果损伤比较严重，是不能自己长好的，只有通过手术重建，这就是现临床应用比较多的前交叉韧带重建术。这个手术只需要一两个小时就能做完，但术后康复却需要几个月的时间，期间还容易出现各种问题影响前交叉韧带功能的恢复。究竟会出现哪些影响康

期刊

前交叉韧带前十字韧带手术重建不能自己常见问题术后康复膝关节临床应用

支持非覆盖维的扩展多维数据模型

非覆盖维等复杂结构维的处理一直都是数据仓库领域的难题,本文在详细分析非覆盖维特性的基础上,提出了一个扩展的多维数据模型,改变了传统的级别间的映射关系的定义方式,定义

期刊

数据仓库联机分析处理多维数据模型非覆盖维Data warehouse OLAP Multidimensional data model Non-c

硅分子束外延会议述评

期刊

硅分子束外延量子点电子元件电子器件

融媒体时代县级党报发展对策的思考

县级党报深入基层、服务大众,其作为党报链条的末端,在媒体资源、技术、人才等方面与各大报无法比拟。融媒体时代的到来为县级党报的发展带来了不小的冲击。如何在新时期下谋

期刊

县级党报融媒体时代发展对策

多学科协作护理模式对肝硬化上消化道出血患者自我管理能力及再出血的影响

目的探讨多学科协作护理模式对肝硬化上消化道出血患者自我管理能力及再出血的影响。方法选取2018年2月至2019年2月本院接收的肝硬化上消化道出血患者60例,按照随机数字表法

期刊

肝硬化上消化道出血多学科协作护理模式自我管理能力再出血

硒化温度对铜铟镓硒太阳能电池吸收层性能的影响

用预制膜硒化法制备铜铟硒系太阳能电池的吸收层CIGSe薄膜,用X射线荧光分析（XRF）、扫描电子显微镜（SEM）、X射线衍射分析（XRD）和拉曼谱分析（Raman）以及基于霍尔效应分别测定或观测CIGS

期刊

无机非金属材料太阳能电池铜铟镓硒预制膜硒化硒化温度ODC相Cu-Se相inorganic non-metallic materials sola

IKE2协议的安全性分析

与本文相关的学术论文