学位论文 > 优秀研究生学位论文题录展示
面向AKE协议的可证明安全性模型的研究
作 者: 闫虹
导 师: 周福才
学 校: 东北大学
专 业: 计算机软件与理论
关键词: AKE协议 认证 可证明安全性 随机预言模型 敌手
分类号: TP309
类 型: 硕士论文
年 份: 2009年
下 载: 12次
引 用: 0次
阅 读: 论文下载
内容摘要
自从Bellare和Rogaway提出随机预言模型(Random Oracle Model, ROM)方法论,并将可证明安全的思想首次带入安全协议的形式化分析中以来,许多学者也相继应用ROM对提出的安全协议进行了形式化安全证明。ROM方法论的出现,使得过去仅作为纯理论研究的可证明安全性理论,迅速在实际应用领域取得了重大进展,具有重要理论应用价值。本文主要研究面向AKE协议的可证明安全性模型。AKE协议因其具有同时实现通信各方生成共享会话密钥并完成相互身份认证两大目标的优点,得到了人们的广泛关注。本文的主要研究内容如下:(1)提出一则包括服务器和三个客户端在内的基于威尔配对的四方口令AKE协议。(2)分析并讨论4PAKE协议在改进的BPR2000敌手通信模型中的安全性。通过形式化敌手的攻击能力,并定义协议安全目标,利用“混合”技巧和游戏理论证明敌手攻破4PAKE协议的优势是可忽略的,4PAKE协议是可证明安全的。(3)针对当前主流敌手模型的不完备性,提出一个面向AKE协议新的敌手通信模型:在具有一般攻击能力的基础上,丰富敌手可能进行的攻击类型,充分考虑敌手的攻击场景,并据此给出新模型下的强安全性定义。在新模型下,发现4PAKE协议的安全缺陷,并针对每个缺陷给出修改方案,改进后形成新4PAKE协议。新的4PAKE协议较其他同类方案具有密钥规模小、计算速度快、通信代价低等明显优势,且在新敌手模型中被证明是安全的。本文的研究结果表明,具有强安全性定义的新敌手模型在对AKE协议设计和安全性分析方面和主流模型相比适用范围更广。
|
全文目录
相似论文
- JPEG图像的透明安全性研究,TP391.41
- 无线网状网认证协议ETAM研究,TN929.5
- 电子商务合同订立中的法律问题研究,D923
- CUDA平台下数字图像认证方法的设计与实现,TP391.41
- 论心证的公开,D915.13
- C公司信息安全管理研究,F270.7
- 基于概率PCA的图像复原方法研究及其应用,TP391.41
- 针对生物认证的图像相关性分析研究,TP391.41
- 基于PKI技术的企业信息系统安全应用研究,TP393.08
- 论拜厄特《占有》的多重主题分析,I561.074
- 基于口令认证的N方密钥交换协议的研究,TP393.08
- 物联网安全技术的研究与应用,TN929.5
- 基于指纹识别和PKI的网上银行身份认证系统设计,TP393.09
- 电子认证行业立法规制研究,D923
- 基于口令认证的密钥协商协议的研究,TN918.1
- 基于REST架构的通用企业地址簿的设计与实现,TP311.52
- 肇庆科技学院计算机基础在线考试系统设计与实现,TP311.52
- 基于PKI的单点登录系统的研究与实现,TP393.08
- Ad Hoc网络部分分布式密钥管理和认证方案研究,TN929.5
- 集中式WLAN架构下AP和Station管理的设计与实现,TN925.93
中图分类: > 工业技术 > 自动化技术、计算机技术 > 计算技术、计算机技术 > 一般性问题 > 安全保密
© 2012 www.xueweilunwen.com
|