Otway-Rees协议改进及安全分析

来源 :第2届河南省计算机专业研究生“尖峰”论坛 | 被引量 : 0次 | 上传用户：ijlusr

【摘要】

：

选取Otway-Rees协议作为研究对象,用一种改进的BAN类逻辑——安全协议分析本征逻辑(SPALL)作为协议分析工具展开研究.首先对SPALL系统进行扩展,针对Otway-Rees协议存在的缺陷

【作者】

：

王君昝亚洲刘爱森屈萌

【机构】

：

数学工程与先进计算国家重点实验室,河南郑州450001数学工程与先进计算国家重点实验室,河南郑州450001;92187部队,山西长治046011山东大学数学学院,山东济南25010095900部队,

【出处】

：

第2届河南省计算机专业研究生“尖峰”论坛

【发表日期】

：

2014年10期

【关键词】

：

选取认证密钥分配协议 BAN类逻辑形式化方法安全性分析

下载到本地 , 更方便阅读

下载此文赞助VIP

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

论文部分内容阅读

选取Otway-Rees协议作为研究对象,用一种改进的BAN类逻辑——安全协议分析本征逻辑(SPALL)作为协议分析工具展开研究.首先对SPALL系统进行扩展,针对Otway-Rees协议存在的缺陷,提出了改进方案.为了更好地描述改进协议,用SPALL系统对其安全属性进行了形式化描述,并做出安全分析.分析结果表明,改进协议能够确保密钥分发的正确性,并具有密钥机密性和强认证性,还能满足通信双方验证会话密钥一致性的要求.

其他文献

在华外资银行的战略取向及我国的应对措施

目前,距我国加入WT0时承诺银行业完全开放的时间只剩不到三年,在华外资银行的战略取向较之以往也有了新的变化,其规模的日益扩张对中资银行来说既是冲击也是挑战本文分析了外

期刊

外资银行中资银行超国民待遇中国竞争银行业

加强安全消费意识把握烟花消费安全

烟花爆竹，简称花炮，是以声、光、色、烟雾等效果为表现特征的工艺美术品，深受世界人民的共同喜爱，在我国更是形成了花炮消费的文化传统。前几年，大中城市烟花燃放纷纷禁改限，体现了

期刊

消费安全危险性消费意识烟花爆竹心理需要消费者安全距离产品以人为本传统文化

论环保设备应用过程中回避高耗能问题

摘要：低碳经济作为当今的一种趋势越来越深入到我们生活的各个细节，在多年环保之水处理行业工作的过程中，发现在水处理行业中，也存在许多高能耗、低效率的设备。　　关键词：环保设备；高耗能；低碳　　中图分类号：X3 文献标识码：A 文章编号：1672-3198（2011）19-0273-01　　2009年11月26日，中国政府第一次对全世界公开承诺量化减排指标，决定到2020年单位国内生产总值温室气体排放

期刊

环保设备高耗能低碳

如何提高救灾工作的快速反应能力

怎样提高救灾工作的反应速度,将灾害损失降低到最低限度,是当前救灾工作需要探索和研究解决的问题.笔者认为,建立灾害紧急救助信息管理体系是解决这一问题的直接和有效方式.

期刊

汕头市四项措施解决灾民生活难题

广东省汕头市采取得力措施对受今年台风“珍珠”的袭击和台风“碧利斯”影响的困难灾民给予全方位的救助,使困扰困难灾民的生活难题得到有效解决。一、生活救助,解决温饱问题

期刊

汕头市灾民生活有效解广东省台风

PSDInSAR监测地表沉降算法及应用

PSDInSAR与传统的DInSAR相比，能够克服大气效应和失相关噪声的影响。介绍了PS—DInSAR监测地表沉降的原理及方法，并利用覆盖上海地区的23幅ERS1／2C波段SAR图像验证了算法的有效

期刊

合成孔径雷达永久散射体差分干涉LAMBDA地表沉降SAR permanent scatterer DInSAR LAMBDA surfac

Otway-Rees协议改进及安全分析

其他学术论文