基于身份密码学关键技术的研究及应用
| 摘要 | 第1-7页 |
| ABSTRACT | 第7-14页 |
| 第一章 绪论 | 第14-22页 |
| ·基于身份密码学的研究背景和研究意义 | 第14-15页 |
| ·基于身份密码学的研究现状和有待解决的主要问题 | 第15-19页 |
| ·研究现状 | 第15-18页 |
| ·有待解决的主要问题 | 第18-19页 |
| ·本文的主要研究内容和贡献 | 第19-21页 |
| ·论文结构及内容安排 | 第21-22页 |
| 第二章 BDH假设和实践的可证明安全 | 第22-36页 |
| ·双线性Diffie-Hellman假设 | 第22-28页 |
| ·BDH问题来源 | 第22-23页 |
| ·BDH假设 | 第23-25页 |
| ·BDH假设变体 | 第25-26页 |
| ·构造BDH参数生成器 | 第26-28页 |
| ·实践的可证明安全 | 第28-36页 |
| ·完善保密性 | 第28-29页 |
| ·可证明安全发展简介 | 第29-31页 |
| ·可证明安全的含义 | 第31-32页 |
| ·公钥密码系统及其形式化安全模型 | 第32-33页 |
| ·面向实践的可证明安全 | 第33-36页 |
| 第三章 基于身份密码学的密钥吊销问题研究 | 第36-56页 |
| ·基于证书的密钥吊销方案 | 第36-38页 |
| ·基于身份的密钥吊销和更新问题的引入 | 第38-39页 |
| ·交互式的基于身份的密钥吊销方案 | 第39-42页 |
| ·Boneh-Franklin密钥吊销方案 | 第39页 |
| ·加窗密钥吊销方案 | 第39-42页 |
| ·非交互式的基于身份的密钥吊销方案 | 第42-47页 |
| ·密钥进化机制 | 第43-44页 |
| ·一个密钥绝缘的基于身份加密方案 | 第44-45页 |
| ·前向安全适合于非交互式的基于身份密钥吊销 | 第45-47页 |
| ·密钥泄漏建模和密钥寿命估计 | 第47-55页 |
| ·预备知识 | 第47-48页 |
| ·密钥信息提取和密钥安全熵 | 第48-53页 |
| ·密钥泄漏过程模型和寿命估计 | 第53-55页 |
| ·结论 | 第55页 |
| ·本章小结 | 第55-56页 |
| 第四章 前向安全的基于身份签名方案 | 第56-73页 |
| ·研究现状 | 第56-57页 |
| ·定义和安全模型 | 第57-59页 |
| ·前向安全的基于身份签名方案的构造 | 第59-70页 |
| ·基于FSS方案的GHK转换构造 | 第59-61页 |
| ·基于IBS方案的直接构造 | 第61-70页 |
| ·密钥进化的网格用户代理的签名方案 | 第70-71页 |
| ·网格用户代理的私钥泄漏问题 | 第70页 |
| ·解决方法 | 第70-71页 |
| ·本章小结 | 第71-73页 |
| 第五章 前向安全的基于身份加密方案 | 第73-100页 |
| ·基于身份加密方案 | 第73-82页 |
| ·定义和安全模型 | 第73-76页 |
| ·几个典型的IBE方案 | 第76-82页 |
| ·基于身份的二叉树加密方案 | 第82-91页 |
| ·定义和安全模型 | 第82-84页 |
| ·基于随机预言机模型的IB-BTE方案 | 第84-89页 |
| ·基于标准模型的IB-BTE方案 | 第89-91页 |
| ·前向安全的基于身份加密方案 | 第91-94页 |
| ·定义和安全模型 | 第91-92页 |
| ·基于IB-BTE构造FS-IBE方案 | 第92-94页 |
| ·基于ARM处理器的手机短消息加密系统 | 第94-99页 |
| ·系统组成 | 第94-95页 |
| ·平台搭建 | 第95-96页 |
| ·软件实现 | 第96-99页 |
| ·结论 | 第99页 |
| ·本章小结 | 第99-100页 |
| 第六章 基于身份的可验证加密签名方案 | 第100-126页 |
| ·可验证加密签名方案 | 第100-113页 |
| ·定义和安全模型 | 第100-102页 |
| ·几个典型VES方案 | 第102-113页 |
| ·构造VES方案的通用方法 | 第113页 |
| ·实践的无随机预言机的VES方案 | 第113-121页 |
| ·复杂性假设 | 第114页 |
| ·Gentry短签名 | 第114-116页 |
| ·VES方案的构造 | 第116-117页 |
| ·安全性证明 | 第117-120页 |
| ·性能分析 | 第120-121页 |
| ·无随机预言机的基于身份的可验证加密签名方案 | 第121-125页 |
| ·定义和安全模型 | 第121页 |
| ·基于VES方案的GHK转换构造 | 第121-123页 |
| ·基于IBS方案的直接构造 | 第123-125页 |
| ·本章小结 | 第125-126页 |
| 第七章 全文总结 | 第126-129页 |
| ·本文贡献 | 第126-127页 |
| ·下一步工作和未来研究方向 | 第127-129页 |
| 参考文献 | 第129-138页 |
| 致谢 | 第138-139页 |
| 个人简历 | 第139-140页 |
| 本文作者已发表和录用的文章 | 第140-141页 |
| 本文作者在攻读博士学位期间参加的科研项目 | 第141页 |
