| 摘要 | 第1-7页 |
| Abstract | 第7-13页 |
| 第一章 绪论 | 第13-25页 |
| ·可证明安全理论的研究背景和意义 | 第13-19页 |
| ·面向实际的可证明安全理论 | 第14-15页 |
| ·形式化定义 | 第15-18页 |
| ·可证明安全的注意事项 | 第18-19页 |
| ·几类可证明安全的公钥加密与签名方案 | 第19-23页 |
| ·基于证书的公钥密码体制 | 第19页 |
| ·基于分层(级)身份的密码体制 | 第19-21页 |
| ·广播加密 | 第21-23页 |
| ·本文主要工作及内容安排 | 第23-25页 |
| 第二章 预备知识 | 第25-33页 |
| ·双线性对及困难问题假设 | 第25-26页 |
| ·基于双线性对的加密方案 | 第26-28页 |
| ·Waters加密方案 | 第26-27页 |
| ·标准模型下的分级加密方案 | 第27-28页 |
| ·广播加密方案 | 第28-29页 |
| ·标准模型下的签名方案 | 第29-31页 |
| ·Waters签名方案 | 第29-30页 |
| ·分级签名方案 | 第30-31页 |
| ·本章小结 | 第31-33页 |
| 第三章 分级级加加密方案的设计与分析 | 第33-47页 |
| ·基于selective-identity 安全模型下的加密方案 | 第33-38页 |
| ·形式化定义 | 第33-35页 |
| ·方案描述 | 第35-36页 |
| ·安全性分析 | 第36-38页 |
| ·基于广义selective-identity安全的方案 I | 第38-42页 |
| ·安全模型 | 第38-39页 |
| ·方案的构造 | 第39-40页 |
| ·安全性分析 | 第40-42页 |
| ·基于广义selective-identity安全的方案 II | 第42-45页 |
| ·安全模型 | 第42-43页 |
| ·方案的构造 | 第43-45页 |
| ·本章小结 | 第45-47页 |
| 第四章 可证明安全的广播加密的设计与分析 | 第47-65页 |
| ·基于随机预言机模型的方案设计与分析 | 第47-53页 |
| ·引言 | 第47页 |
| ·广播加密的定义 | 第47-48页 |
| ·安全模型 | 第48页 |
| ·方案的构造 | 第48-50页 |
| ·有效性分析 | 第50-51页 |
| ·安全性分析 | 第51-53页 |
| ·基于标准模型方案的设计与分析 | 第53-57页 |
| ·引言 | 第53-54页 |
| ·方案的构造 | 第54-55页 |
| ·安全性分析 | 第55-57页 |
| ·基于动态网络的广播加密协议的设计与分析 | 第57-64页 |
| ·引言 | 第57-58页 |
| ·方案构造 | 第58-60页 |
| ·方案改进 | 第60-62页 |
| ·安全性分析 | 第62-64页 |
| ·本章小结 | 第64-65页 |
| 第五章 门限广播加密的设计与分析 | 第65-85页 |
| ·形式化定义 | 第65-67页 |
| ·Shamir的秘密共享方案 | 第65-66页 |
| ·门限广播加密的定义 | 第66页 |
| ·安全模型 | 第66-67页 |
| ·基于标准模型的方案 I | 第67-70页 |
| ·引言 | 第67页 |
| ·方案的具体构造 | 第67-68页 |
| ·安全性分析 | 第68-70页 |
| ·改进方案 | 第70页 |
| ·基于标准模型的方案 II | 第70-78页 |
| ·引言 | 第70-71页 |
| ·基础方案设计 | 第71-75页 |
| ·改进方案 | 第75-78页 |
| ·基于标准模型的方案 III | 第78-83页 |
| ·引言 | 第78页 |
| ·方案构造 | 第78-79页 |
| ·安全性分析 | 第79-83页 |
| ·本章小结 | 第83-85页 |
| 第六章 标准模型下分级签名体制的设计与分析 | 第85-101页 |
| ·形式化定义 | 第85-86页 |
| ·引言 | 第85页 |
| ·基于分级身份的签名方案 | 第85页 |
| ·安全模型 | 第85-86页 |
| ·基于标准模型的方案 I | 第86-90页 |
| ·方案构造 | 第86-87页 |
| ·安全性分析 | 第87-90页 |
| ·基于标准模型的方案 II | 第90-95页 |
| ·方案的构造 | 第90-92页 |
| ·安全性分析 | 第92-95页 |
| ·基于标准模型的方案 III | 第95-99页 |
| ·方案的构造 | 第95-96页 |
| ·安全性分析 | 第96-99页 |
| ·本章小结 | 第99-101页 |
| 第七章 标准模型下基于双线性对对的的门限签名的设计与分析 | 第101-109页 |
| ·形式化定义 | 第101-102页 |
| ·引言 | 第101页 |
| ·基于身份门限签名的定义 | 第101-102页 |
| ·门限签名的安全性 | 第102页 |
| ·基于标准模型的方案 I | 第102-105页 |
| ·方案构造 | 第102-104页 |
| ·安全性分析 | 第104-105页 |
| ·基于标准模型的方案 II | 第105-107页 |
| ·方案的构造 | 第105-107页 |
| ·安全性分析 | 第107页 |
| ·本章小结 | 第107-109页 |
| 第八章 标准模型下强不可伪造签名方案的设计与分析 | 第109-121页 |
| ·形式化定义 | 第109-112页 |
| ·引言 | 第109-110页 |
| ·TCR杂凑函数 | 第110页 |
| ·签名方案与安全性定义 | 第110-111页 |
| ·可分割性 | 第111-112页 |
| ·BSW转化方案 | 第112页 |
| ·转化方案的构造 | 第112-116页 |
| ·转化方案 | 第112-113页 |
| ·安全性分析 | 第113-116页 |
| ·具体方案的构造 | 第116-119页 |
| ·Paterson签名方案 | 第116页 |
| ·Paterson签名方案的分析 | 第116-118页 |
| ·强不可伪造签名方案 | 第118-119页 |
| ·本章小结 | 第119-121页 |
| 结束语 | 第121-123页 |
| 致谢 | 第123-125页 |
| 参考文献 | 第125-133页 |
| 攻读博士学位期间的研究成果 | 第133-136页 |
