| 摘要 | 第1-15页 |
| ABSTRACT | 第15-19页 |
| 第一章 引言 | 第19-22页 |
| ·研究背景 | 第19页 |
| ·本文主要工作和贡献 | 第19-20页 |
| ·本文的组织结构 | 第20-22页 |
| 第二章 基本概念 | 第22-31页 |
| ·密码学与信息安全 | 第22-25页 |
| ·密码学定义和安全性评价 | 第22页 |
| ·加密体制简介 | 第22-24页 |
| ·签名体制及密码协议 | 第24-25页 |
| ·椭圆曲线与椭圆曲线密码体制 | 第25-26页 |
| ·椭圆曲线与椭圆曲线上的点 | 第25页 |
| ·椭圆曲线的特点和密码体制简介 | 第25-26页 |
| ·基于身份加密体制与CL-PKE加密体制 | 第26-28页 |
| ·基于身份加密体制概述 | 第26-27页 |
| ·CL-PKE加密体制概述 | 第27-28页 |
| ·密码学基础知识 | 第28-31页 |
| ·数论基础 | 第28页 |
| ·代数基础 | 第28-29页 |
| ·概率论知识 | 第29-31页 |
| 第三章 标准模型下实用的CL-PKE加密体制 | 第31-41页 |
| ·问题的提出和安全模型的研究 | 第31-35页 |
| ·算法组成 | 第32页 |
| ·安全模型 | 第32-35页 |
| ·CL-PKE加密体制的具体算法 | 第35-36页 |
| ·CL-PKE加密体制的形式化安全性证明 | 第36-40页 |
| ·关于加密体制的分析与总结 | 第40-41页 |
| 第四章 用公钥证书抵制密钥生成中心DOD攻击的方法 | 第41-56页 |
| ·公钥证书加密方案的提出及解决方法 | 第41-45页 |
| ·CL-PKE的算法组成 | 第41-42页 |
| ·CL-PKE的外部攻击者安全模型 | 第42-43页 |
| ·CL-PKE的内部攻击者安全模型 | 第43-44页 |
| ·公钥证书加密的安全模型 | 第44-45页 |
| ·公钥证书加密体制的具体算法和安全模型 | 第45-51页 |
| ·具体的CL-PKE算法 | 第45-46页 |
| ·算法分析 | 第46-48页 |
| ·CL-PKE的形式化证明 | 第48-51页 |
| ·公钥证书加密体制和形式化证明 | 第51-55页 |
| ·具体的公钥证书加密体制 | 第51-53页 |
| ·SGC加密体制的形式化证明 | 第53-55页 |
| ·总结 | 第55-56页 |
| 第五章 用密钥分配协议解决IBE中心信任问题的研究 | 第56-66页 |
| ·A-IBE概念的提出 | 第56-57页 |
| ·难解性问题假设 | 第57-58页 |
| ·具体算法组成和安全模型 | 第58-60页 |
| ·A-IBE的算法组成 | 第58-59页 |
| ·A-IBE加密体制的安全模型 | 第59-60页 |
| ·A-IBE加密体制的具体算法和安全性证明 | 第60-65页 |
| ·A-IBE的具体算法 | 第60-62页 |
| ·IND-ID-CPA的安全性证明 | 第62-63页 |
| ·Dishonest KGC的安全性证明 | 第63页 |
| ·Game Dishonest User的安全性证明 | 第63-64页 |
| ·追踪性问题 | 第64-65页 |
| ·总结 | 第65-66页 |
| 第六章 用匿名性和两方安全计算解决IBE中心信任问题的研究 | 第66-78页 |
| ·基本思想的提出和解决方法 | 第66-67页 |
| ·详细的ACI-KGC加密体制 | 第67-69页 |
| ·用户密钥分发框架简述 | 第67-68页 |
| ·具体的加密体制 | 第68-69页 |
| ·详细的两方安全计算协议 | 第69-71页 |
| ·对加密体制的形式化证明 | 第71-74页 |
| ·ACI-KGC的安全模型 | 第71-72页 |
| ·ACI-KGC的形式化证明 | 第72-74页 |
| ·两方安全计算的效率分析和简要形式化证明 | 第74-78页 |
| ·两方安全计算的效率分析 | 第74-75页 |
| ·A是恶意攻击者的证明 | 第75-76页 |
| ·B是恶意攻击者的证明 | 第76-78页 |
| 第七章 展望与总结 | 第78-80页 |
| 参考文献 | 第80-85页 |
| 致谢 | 第85-86页 |
| 攻读博士学位期间完成与发表的学术论文目录 | 第86-87页 |
| 攻读博士学位期间参与科研项目情况 | 第87-88页 |
| 学位论文评阅及答辩情况表 | 第88页 |
