摘要 | 第3-5页 |
ABSTRACT | 第5-6页 |
主要符号对照表 | 第13-14页 |
第一章 绪论 | 第14-28页 |
1.1 研究背景和意义 | 第14-23页 |
1.1.1 可证明安全理论 | 第17-19页 |
1.1.2 随机预言机模型和标准模型 | 第19-20页 |
1.1.3 公钥加密和选择密文攻击 | 第20-23页 |
1.2 研究内容和成果 | 第23-27页 |
1.2.1 基于计算性问题的IND-CCA安全性研究 | 第23-24页 |
1.2.2 抗有界密钥泄漏的BKL-CCA安全性研究 | 第24-25页 |
1.2.3 抗相关密钥攻击的RKA-CCA安全性研究 | 第25-26页 |
1.2.4 抗依赖密钥加密的KDM-CCA安全性研究 | 第26-27页 |
1.3 论文章节安排 | 第27-28页 |
第二章 预备知识 | 第28-44页 |
2.1 哈希函数 | 第28-29页 |
2.2 统计距离、熵及随机数提取器 | 第29-30页 |
2.3 (一次)签名及安全性定义 | 第30-31页 |
2.4 公钥加密及安全性定义 | 第31-36页 |
2.4.1 IND-CCA安全性定义 | 第32-33页 |
2.4.2 BKL-CCA安全性定义 | 第33-34页 |
2.4.3 RKA-CCA安全性定义 | 第34-35页 |
2.4.4 KDM-CCA安全性定义 | 第35-36页 |
2.5 密钥封装机制 | 第36-38页 |
2.6 哈希证明系统 | 第38-40页 |
2.7 差分引理和混合论证法 | 第40-41页 |
2.8 计算复杂性假设 | 第41-44页 |
第三章 基于整数分解问题的选择密文安全公钥加密方案 | 第44-56页 |
3.1 引言 | 第44-45页 |
3.2 方案设计 | 第45-53页 |
3.2.1 方案描述 | 第46-48页 |
3.2.2 安全性分析 | 第48-51页 |
3.2.3 基于半平滑子群的实例化 | 第51-53页 |
3.3 性能分析与比较 | 第53-55页 |
3.4 小结 | 第55-56页 |
第四章 抗密钥泄漏选择密文安全公钥加密方案 | 第56-86页 |
4.1 引言 | 第56-57页 |
4.2 基于带标签哈希证明系统的构造方法 | 第57-65页 |
4.2.1 基本工具与安全模型 | 第57-59页 |
4.2.2 方案描述 | 第59-60页 |
4.2.3 安全性分析 | 第60-63页 |
4.2.4 基于n-Linear假设的实例化方案 | 第63-65页 |
4.3 基于一次有损过滤器的构造方法 | 第65-77页 |
4.3.1 一次有损过滤器的定义 | 第66-67页 |
4.3.2 方案描述 | 第67页 |
4.3.3 安全性分析 | 第67-73页 |
4.3.4 实例化方案 | 第73-76页 |
4.3.5 效率分析和比较 | 第76-77页 |
4.4 不依赖双线性配对的弹性泄漏方案 | 第77-84页 |
4.4.1 加强的子群不可区分假设 | 第77-78页 |
4.4.2 基于RSI假设的哈希证明系统 | 第78-79页 |
4.4.3 基于RSI假设的一次有损过滤器 | 第79-83页 |
4.4.4 弹性泄漏加密方案 | 第83-84页 |
4.5 小结 | 第84-86页 |
第五章 抗相关密钥选择密文安全公钥加密方案 | 第86-102页 |
5.1 引言 | 第86-88页 |
5.1.1 解决方案与技术路线 | 第87-88页 |
5.2 有限域上多项式函数的性质 | 第88-90页 |
5.3 连续非延展密钥提取函数 | 第90-98页 |
5.3.1 密钥提取函数的构造 | 第91-92页 |
5.3.2 安全性证明 | 第92-98页 |
5.4 在相关密钥安全性中的应用 | 第98-100页 |
5.5 小结 | 第100-102页 |
第六章 依赖密钥消息安全的Cramer-Shoup方案 | 第102-114页 |
6.1 引言 | 第102-103页 |
6.2 密钥函数族的定义及应用 | 第103-105页 |
6.2.1 函数族定义 | 第103-104页 |
6.2.2 应用 | 第104-105页 |
6.3 KDM-CCA安全的CS加密系统设计 | 第105-113页 |
6.3.1 方案描述 | 第105-107页 |
6.3.2 安全性分析 | 第107-113页 |
6.4 小结 | 第113-114页 |
第七章 总结与展望 | 第114-116页 |
7.1 全文总结 | 第114-115页 |
7.2 进一步研究的工作 | 第115-116页 |
附录A 定理证明 | 第116-122页 |
A.1 定理 4.7 的证明 | 第116页 |
A.2 定理 4.8 的证明 | 第116-122页 |
参考文献 | 第122-146页 |
致谢 | 第146-148页 |
攻读学位期间发表的学术论文目录 | 第148-150页 |
攻读学位期间参与的项目 | 第150-152页 |