| 摘要 | 第1-7页 |
| Abstract | 第7-11页 |
| 第一章 绪论 | 第11-21页 |
| ·公钥密码体制简介 | 第11-13页 |
| ·可证明安全性理论概述 | 第13-19页 |
| ·研究背景和意义 | 第13-15页 |
| ·可证明安全的框架 | 第15-16页 |
| ·随机预言机模型方法论 | 第16页 |
| ·标准模型中可证明安全性理论 | 第16-19页 |
| ·内容安排及主要结果 | 第19-21页 |
| 第二章 预备知识 | 第21-27页 |
| ·双线性对及困难问题假设 | 第21-23页 |
| ·相关加密和签名方案 | 第23-25页 |
| ·Waters 加密方案 | 第23-24页 |
| ·Waters 签名方案 | 第24页 |
| ·Paterson-Schuldt 签名方案 | 第24-25页 |
| ·本章小结 | 第25-27页 |
| 第三章 标准模型下可证明安全的代理多重签名方案 | 第27-41页 |
| ·代理签名 | 第27-29页 |
| ·代理签名的基本概念 | 第27页 |
| ·代理签名的分类 | 第27-28页 |
| ·代理签名方案的安全要求 | 第28-29页 |
| ·代理多重签名 | 第29页 |
| ·代理多重签名的形式化定义及安全模型 | 第29-33页 |
| ·形式化定义 | 第29-30页 |
| ·形式化安全模型 | 第30-33页 |
| ·方案描述 | 第33-35页 |
| ·安全性分析 | 第35-39页 |
| ·本章小结 | 第39-41页 |
| 第四章 标准模型下可证安全的具有撤销功能的代理签名方案 | 第41-57页 |
| ·具有撤销功能的代理签名 | 第41-42页 |
| ·具有撤销功能的代理签名的形式化定义及其安全模型 | 第42-45页 |
| ·形式化定义 | 第42-43页 |
| ·形式化安全模型 | 第43-45页 |
| ·方案描述 | 第45-47页 |
| ·安全性分析 | 第47-53页 |
| ·正确性 | 第47-48页 |
| ·不可伪造性 | 第48-52页 |
| ·性能分析 | 第52页 |
| ·安全属性 | 第52-53页 |
| ·扩展研究—–具有撤销功能的代理多重签名方案 | 第53-55页 |
| ·本章小结 | 第55-57页 |
| 第五章 标准模型下选择密文安全的基于身份加密扩展方案 | 第57-67页 |
| ·基于身份的加密 | 第57-58页 |
| ·基于身份的加密的形式化定义及其安全模型 | 第58-59页 |
| ·形式化定义 | 第58-59页 |
| ·形式化安全模型 | 第59页 |
| ·方案描述 | 第59-61页 |
| ·安全性证明 | 第61-65页 |
| ·本章小结 | 第65-67页 |
| 第六章 标准模型下可证明安全的无证书签密方案 | 第67-87页 |
| ·无证书公钥密码 | 第67-69页 |
| ·无证书签密的形式化定义及其安全模型 | 第69-73页 |
| ·形式化定义 | 第69页 |
| ·形式化安全模型 | 第69-73页 |
| ·无证书签密方案描述 | 第73-75页 |
| ·安全性分析 | 第75-85页 |
| ·正确性 | 第75页 |
| ·安全证明 | 第75-84页 |
| ·性能评价 | 第84-85页 |
| ·本章小结 | 第85-87页 |
| 结束语 | 第87-89页 |
| 致谢 | 第89-91页 |
| 参考文献 | 第91-99页 |
| 攻读博士学位期间的研究成果 | 第99-101页 |