基于身份认证的密钥协商协议研究

发布时间：2017-06-18 19:18

  本文关键词：基于身份认证的密钥协商协议研究，由笔耕文化传播整理发布。

【摘要】：针对已有的基于身份的认证密钥协商协议存在的安全问题,提出一种改进的基于身份的认证密钥协商协议,该协议采用双线性对运算方法,用户双方的临时和长期私钥结合进行最终会话密钥的计算,解决了WCD协议中存在的PKG前向安全性问题、单一依赖临时或长期私钥而存在的问题和已知临时会话密钥泄漏攻击的问题。在保证改进协议正确的基础上,对协议的安全属性及协议性能进行了分析,采用SVO逻辑对协议进行形式化分析,验证了改进协议的认证性和安全性。结果表明,改进的协议满足基于身份认证密钥协商协议的所有安全性要求,与已有基于身份的认证密钥协商协议相比具有更好的安全属性及计算效率。
【关键词】：基于身份的认证 密钥协商 双线性对 SVO逻辑 形式化验证
【学位授予单位】：辽宁工程技术大学
【学位级别】：硕士
【学位授予年份】：2015
【分类号】：TN918.4
【目录】：

• 致谢4-5
• 摘要5-6
• Abstract6-9
• 1 绪论9-12
• 1.1 研究背景及其现状9-10
• 1.2 研究意义10-11
• 1.3 本文组织结构11-12
• 2 密钥协商协议的相关问题12-19
• 2.1 可证安全的基本思想12-13
• 2.2 特殊标记及其符号13
• 2.3 基础数学13-15
• 2.3.1 基础代数及有关运算13-14
• 2.3.2 困难问题假设14
• 2.3.3 哈希函数14-15
• 2.4 密码协议体制15-17
• 2.5 密钥协商协议的安全属性17-18
• 2.6 本章小结18-19
• 3 标准模型下的认证密钥协商协议的研究19-33
• 3.1 标准模型下的基于身份认证的密钥协商协议19-25
• 3.1.1 两种基于身份认证的密钥协商协议20-22
• 3.1.2 基于身份认证的密钥协商协议的安全性分析22-25
• 3.2 标准模型下改进协议的身份认证密钥协商协议25-29
• 3.2.1 改进协议的身份认证密钥协商协议26-27
• 3.2.2 改进协议的身份认证密钥协商协议的安全性分析27-29
• 3.3 基于身份认证的改进前后协议的性能对比29-31
• 3.4 标准模型下存在的安全性缺陷31-32
• 3.5 本章小结32-33
• 4 基于身份认证的密钥协商协议研究33-42
• 4.1 基于身份认证的密钥协商协议建立34-36
• 4.1.1 系统建立34
• 4.1.2 密钥协商与认证34-35
• 4.1.3 协议中的密钥确认35-36
• 4.2 基于身份认证的密钥协商协议建立的分析36-41
• 4.2.1 正确性分析36-37
• 4.2.2 安全属性分析37-38
• 4.2.3 效率分析38-40
• 4.2.4 协议性能比较40-41
• 4.3 本章小结41-42
• 5 本文协议的安全性证明42-58
• 5.1 SVO逻辑的形式化证明42-46
• 5.1.1 SVO逻辑符号定义43
• 5.1.2 SVO逻辑推理公理及规则43-45
• 5.1.3 基于身份认证的密钥协商协议的SVO逻辑分析45-46
• 5.2 实验验证46-57
• 5.2.1 模拟协议48-55
• 5.2.2 实验结果55-57
• 5.3 本章小结57-58
• 结论58-59
• 参考文献59-61
• 附录A 用户B的SVO证明61-63
• 作者简历63-65
• 学位论文数据集65

【参考文献】

中国期刊全文数据库 前1条

1 刘志远;;安全的基于身份认证密钥协商协议[J];湖南科技大学学报(自然科学版);2014年01期

  本文关键词：基于身份认证的密钥协商协议研究，由笔耕文化传播整理发布。

，

本文编号：460553