| 摘要 | 第1-9页 |
| ABSTRACT | 第9-20页 |
| 第一章 绪论 | 第20-29页 |
| ·本论文的研究背景和意义 | 第20-21页 |
| ·公钥密码体制概述 | 第21-23页 |
| ·公钥密码体制的安全性 | 第23-27页 |
| ·Dolev-Yao 威胁模型 | 第23-24页 |
| ·攻击类型 | 第24-25页 |
| ·安全目标 | 第25-27页 |
| ·本论文研究内容及研究创新 | 第27-28页 |
| ·本论文研究内容 | 第27页 |
| ·本论文研究创新 | 第27-28页 |
| ·论文章节安排 | 第28-29页 |
| 第二章 本论文相关的基本概念和基础理论 | 第29-43页 |
| ·数学难题 | 第29-33页 |
| ·大整数因数分解问题 | 第29-30页 |
| ·RSA 问题 | 第30-31页 |
| ·离散对数问题 | 第31-32页 |
| ·CDH 问题和DDH 问题 | 第32页 |
| ·椭圆曲线离散对数问题 | 第32-33页 |
| ·公钥密码体制的数学定义 | 第33-35页 |
| ·RSA 公钥密码体制 | 第33-34页 |
| ·ElGamal 公钥密码体制 | 第34-35页 |
| ·计算复杂性 | 第35-38页 |
| ·图灵机 | 第36页 |
| ·算法的复杂性 | 第36-37页 |
| ·可忽略量 | 第37页 |
| ·多项式时间不可区分性 | 第37-38页 |
| ·归约证明 | 第38-40页 |
| ·数学参数定义 | 第40-42页 |
| ·本章小结 | 第42-43页 |
| 第三章 基于随机预言模型的安全性证明技术研究 | 第43-64页 |
| ·引言 | 第43-44页 |
| ·RSA 公钥密码算法基本形式的安全性分析 | 第44-46页 |
| ·对RSA 的选择密文攻击 | 第44-45页 |
| ·对RSA 的公共模数攻击 | 第45-46页 |
| ·对RSA 的低指数攻击 | 第46页 |
| ·使用RSA 公钥密码算法的建议 | 第46页 |
| ·最优非对称加密填充（OAEP） | 第46-49页 |
| ·随机预言模型 | 第49-51页 |
| ·密码杂凑函数 | 第49-50页 |
| ·随机预言机 | 第50页 |
| ·随机预言机的仿真 | 第50-51页 |
| ·F-OAEP 基于随机预言模型的安全性证明 | 第51-59页 |
| ·关于F-OAEP 安全性证明的分析 | 第59-62页 |
| ·一些关于随机预言模型的讨论 | 第62-63页 |
| ·本章小结 | 第63-64页 |
| 第四章 OAEP 改进方案及其安全性证明技术研究 | 第64-74页 |
| ·引言 | 第64页 |
| ·OAEP 改进方案分析 | 第64-69页 |
| ·Fujisaki 和Okamoto 的改进方案 | 第64-65页 |
| ·OAEP+ | 第65页 |
| ·SAEP & SAEP+ | 第65-66页 |
| ·REACT | 第66页 |
| ·PSS-E | 第66-67页 |
| ·OAEP++ | 第67页 |
| ·OAEP 3-Round | 第67页 |
| ·OAEP 及其改进方案性能对比 | 第67-69页 |
| ·F-OAEP++公钥密码算法的安全性证明 | 第69-73页 |
| ·f-OAEP++公钥密码算法 | 第69-71页 |
| ·f-OAEP++基于随机预言模型的安全性证明 | 第71-73页 |
| ·本章小结 | 第73-74页 |
| 第五章 可证明安全密钥协商协议研究 | 第74-92页 |
| ·引言 | 第74-75页 |
| ·DIFFIE-HELLMAN 密钥协商协议 | 第75-78页 |
| ·中间人攻击 | 第75-77页 |
| ·密钥协商协议所需的安全属性 | 第77-78页 |
| ·认证的密钥协商协议 | 第78页 |
| ·集成DSA 数字签名的认证密钥协商协议 | 第78-86页 |
| ·Arazi 密钥协商协议 | 第79-80页 |
| ·Harn 密钥协商协议 | 第80-83页 |
| ·Phan 密钥协商协议 | 第83-85页 |
| ·改进的Phan 密钥协商协议 | 第85-86页 |
| ·基于RSA-OAEP 的密钥协商协议 | 第86-91页 |
| ·基于RSA-OAEP 的密钥协商协议 | 第87-88页 |
| ·协议安全性分析 | 第88-90页 |
| ·协议可证明安全性分析 | 第90-91页 |
| ·本章小结 | 第91-92页 |
| 第六章 基于标准模型的安全性证明技术研究 | 第92-108页 |
| ·引言 | 第92-93页 |
| ·CRAMER-SHOUP 公钥密码体制 | 第93-96页 |
| ·Cramer-Shoup 公钥密码体制 | 第93-94页 |
| ·Cramer-Shoup 公钥密码体制基于标准模型的安全性证明 | 第94-96页 |
| ·标准模型下可证明安全的数字签名方案 | 第96-107页 |
| ·Chang 数字签名方案 | 第96-98页 |
| ·几种对Chang 数字签名方案的伪造攻击分析 | 第98-100页 |
| ·Kang 改进方案 | 第100-101页 |
| ·Chang 数字签名方案的可证明安全改进 | 第101-107页 |
| ·本章小结 | 第107-108页 |
| 第七章 全文总结 | 第108-111页 |
| ·论文总结 | 第108-110页 |
| ·研究展望 | 第110-111页 |
| 参考文献 | 第111-120页 |
| 致谢 | 第120-121页 |
| 攻读博士学位期间已发表或录用的论文 | 第121-123页 |
| 攻读博士学位期间参与完成的重大科研项目 | 第123页 |