摘要 | 第5-7页 |
ABSTRACT | 第7-8页 |
第一章 绪论 | 第13-19页 |
1.1 研究背景 | 第13-17页 |
1.1.1 公钥密码学简介 | 第13-15页 |
1.1.2 双线性配对密码学 | 第15-17页 |
1.2 研究内容和主要成果 | 第17-18页 |
1.3 论文结构 | 第18-19页 |
第二章 预备知识 | 第19-35页 |
2.1 计算复杂性基础 | 第19-20页 |
2.2 抽象代数基础 | 第20-21页 |
2.3 双线性配对 | 第21-23页 |
2.3.1 离散对数相关复杂性假设 | 第21-22页 |
2.3.2 抽象双线性配对 | 第22页 |
2.3.3 配对相关复杂性假设 | 第22-23页 |
2.4 可证安全基础 | 第23-26页 |
2.4.1 密码哈希函数 | 第24-25页 |
2.4.2 随机预言模型 | 第25页 |
2.4.3 标准模型 | 第25-26页 |
2.5 形式化定义及安全模型 | 第26-34页 |
2.5.1 公钥加密方案 | 第26-28页 |
2.5.2 身份基加密方案 | 第28-29页 |
2.5.3 身份基认证密钥协商协议 | 第29-34页 |
2.6 本章小结 | 第34-35页 |
第三章 多域环境下的高效身份基加密方案及其应用 | 第35-56页 |
3.1 引言 | 第35-36页 |
3.2 相关定义 | 第36-39页 |
3.2.1 MBDH 假设 | 第36-37页 |
3.2.2 多域环境下身份基加密方案的定义 | 第37-39页 |
3.3 新的身份基加密方案 | 第39-43页 |
3.3.1 选择明文安全的基本方案 | 第39-40页 |
3.3.2 选择密文安全的完整方案 | 第40-42页 |
3.3.3 多域环境下与Boneh-Franklin 身份基加密方案的比较 | 第42-43页 |
3.4 安全性证明 | 第43-49页 |
3.5 新身份基加密方案的应用 | 第49-54页 |
3.5.1 全局托管ElGamal 加密方案 | 第49-52页 |
3.5.2 多域环境下的高效多接收者身份基加密方案 | 第52页 |
3.5.3 抗合谋攻击的身份基代理重加密方案 | 第52-54页 |
3.6 本章小结 | 第54-56页 |
第四章 高效可托管公钥加密方案 | 第56-68页 |
4.1 引言 | 第56-58页 |
4.1.1 双证书模式 | 第56-57页 |
4.1.2 概念及分类 | 第57-58页 |
4.2 相关工作 | 第58-61页 |
4.2.1 Verheul 托管ElGamal 加密方案 | 第58-59页 |
4.2.2 Boneh-Franklin 全局托管ElGamal 加密方案 | 第59-61页 |
4.3 新的可托管公钥加密方案 | 第61-67页 |
4.3.1 第一个新方案 | 第61-62页 |
4.3.2 第二个新方案 | 第62-64页 |
4.3.3 方案的比较 | 第64页 |
4.3.4 安全性证明 | 第64-67页 |
4.4 本章小结 | 第67-68页 |
第五章 完美前向安全的身份基认证密钥协商协议 | 第68-86页 |
5.1 引言 | 第68-70页 |
5.2 背景知识 | 第70-72页 |
5.2.1 完美前向安全性的定义 | 第70页 |
5.2.2 模块化证明方法 | 第70-72页 |
5.3 Chen-Kudla 协议回顾 | 第72-74页 |
5.4 一种身份基密钥协商协议的平行设计方法 | 第74-76页 |
5.5 新的身份基认证密钥协商协议 | 第76-78页 |
5.6 安全性证明 | 第78-84页 |
5.7 与现有可托管协议的比较 | 第84-85页 |
5.8 本章小结 | 第85-86页 |
第六章 标准模型下可证安全的身份基认证密钥协商协议 | 第86-98页 |
6.1 引言 | 第86-88页 |
6.2 所需复杂性假设 | 第88-89页 |
6.3 Gentry身份基加密方案回顾 | 第89页 |
6.4 新的身份基认证密钥协商协议 | 第89-95页 |
6.4.1 托管模式下的基本协议 | 第90-92页 |
6.4.2 无托管模式下的扩展协议 | 第92-95页 |
6.5 安全性证明 | 第95-97页 |
6.6 本章小结 | 第97-98页 |
第七章 总结与展望 | 第98-101页 |
7.1 总结 | 第98-99页 |
7.2 展望 | 第99-101页 |
参考文献 | 第101-108页 |
致谢 | 第108-109页 |
攻读博士学位期间的论文 | 第109-111页 |