| 摘要 | 第1-7页 |
| ABSTRACT（英文摘要） | 第7-12页 |
| 主要符号对照表 | 第12-13页 |
| 第一章绪论 | 第13-25页 |
| ·研究背景和意义 | 第13-15页 |
| ·基于身份的密码体制的诞生 | 第13-14页 |
| ·密钥泄漏对于基于身份的密码系统的挑战 | 第14-15页 |
| ·密钥泄漏保护技术的研究现状 | 第15-22页 |
| ·前向安全机制 | 第16-18页 |
| ·密钥隔离机制 | 第18-21页 |
| ·入侵回弹机制 | 第21-22页 |
| ·研究内容和主要研究成果 | 第22-23页 |
| ·论文章节安排 | 第23-25页 |
| 第二章基本概念与基本工具 | 第25-41页 |
| ·复杂性理论基础 | 第25-28页 |
| ·算法 | 第25-26页 |
| ·图灵机与问题复杂类 | 第26-27页 |
| ·可忽略与多项式时间不可区分的概念 | 第27-28页 |
| ·可证明安全理论 | 第28-30页 |
| ·随机预言机模型 | 第28-30页 |
| ·标准模型 | 第30页 |
| ·公钥加密系统的形式化定义及其安全模型 | 第30-34页 |
| ·公钥加密系统的形式化定义 | 第30页 |
| ·公钥加密方案的安全模型 | 第30-33页 |
| ·基于身份的加密方案的形式化定义及其安全性 | 第33-34页 |
| ·数字签名形式化定义及其安全模型 | 第34-37页 |
| ·数字签名的形式化定义 | 第34页 |
| ·数字签名的安全模型 | 第34-36页 |
| ·基于身份的数字签名形式化定义及其安全模型 | 第36-37页 |
| ·双线性配对 | 第37-39页 |
| ·双线性映射群 | 第37-38页 |
| ·相关的困难性问题假设 | 第38-39页 |
| ·小结 | 第39-41页 |
| 第三章基于身份的密钥隔离签名方案的设计 | 第41-59页 |
| ·引言 | 第41页 |
| ·基于身份的密钥隔离签名的形式化定义及其安全模型 | 第41-45页 |
| ·IBKIS形式化定义 | 第41-43页 |
| ·IBKIS安全定义 | 第43-45页 |
| ·IBKIS方案设计 | 第45-47页 |
| ·方案描述 | 第45-47页 |
| ·方案正确性 | 第47页 |
| ·分析比较 | 第47-54页 |
| ·安全性证明 | 第47-54页 |
| ·方案比较 | 第54页 |
| ·由基于身份的层次签名构建IBKIS的通用方法 | 第54-57页 |
| ·基于身份的层次签名 | 第54-55页 |
| ·通用方法 | 第55-57页 |
| ·小结 | 第57-59页 |
| 第四章基于身份的并行密钥隔离加密系统的设计 | 第59-81页 |
| ·引言 | 第59-60页 |
| ·基于身份的并行密钥隔离加密的形式化定义及其安全模型 | 第60-64页 |
| ·IBPKIE的形式化定义 | 第60-61页 |
| ·IBPKIE安全定义 | 第61-64页 |
| ·IBPKIE方案设计 | 第64-67页 |
| ·平凡的尝试 | 第65页 |
| ·方案描述 | 第65-67页 |
| ·方案正确性 | 第67页 |
| ·方案安全性证明 | 第67-79页 |
| ·选择明文安全 | 第67-78页 |
| ·选择密文安全 | 第78-79页 |
| ·小结 | 第79-81页 |
| 第五章基于身份的并行密钥隔离签名系统的设计 | 第81-103页 |
| ·基于身份的并行密钥隔离签名的形式化定义及其安全模型 | 第81-84页 |
| ·IBPKIS的形式化定义 | 第81-82页 |
| ·IBPKIS安全定义 | 第82-84页 |
| ·随机预言机模型下的IBPKIS方案设计 | 第84-92页 |
| ·方案描述 | 第84-85页 |
| ·方案正确性 | 第85页 |
| ·方案安全性证明 | 第85-92页 |
| ·标准模型下的IBPKIS方案设计 | 第92-101页 |
| ·方案描述 | 第92-94页 |
| ·方案正确性 | 第94页 |
| ·安全性证明 | 第94-101页 |
| ·小结 | 第101-103页 |
| 第六章基于身份的门限密钥隔离加密系统的设计 | 第103-139页 |
| ·引言 | 第103-104页 |
| ·基于身份的门限密钥隔离加密的形式化定义及其安全模型 | 第104-107页 |
| ·IBTKIE形式化定义 | 第104-105页 |
| ·IBTKIE的安全模型 | 第105-107页 |
| ·选择明文安全的IBTKIE方案的设计 | 第107-119页 |
| ·Shamir门限分享 | 第107-108页 |
| ·IBTKIE方案描述 | 第108-112页 |
| ·方案正确性 | 第112页 |
| ·安全性证明 | 第112-119页 |
| ·分析比较 | 第119-120页 |
| ·不诚实协助器的应对 | 第120-122页 |
| ·CCA2安全的基于身份的门限密钥隔离密钥封装机制 | 第122-137页 |
| ·IBTKIKEM的定义与安全模型 | 第122-124页 |
| ·选择密文安全的IBTKIKEM方案描述 | 第124-127页 |
| ·方案正确性 | 第127页 |
| ·更有效的解封装方法 | 第127-128页 |
| ·安全性证明 | 第128-137页 |
| ·小结 | 第137-139页 |
| 第七章总结与展望 | 第139-143页 |
| ·总结 | 第139-140页 |
| ·展望 | 第140-143页 |
| 参考文献 | 第143-153页 |
| 致谢 | 第153-155页 |
| 攻读博士学位期间发表和录用的第一作者学术论文 | 第155-156页 |
