| 摘要 | 第1-7页 |
| ABSTRACT(英文摘要) | 第7-11页 |
| 主要符号对照表 | 第11-12页 |
| 第一章 绪论 | 第12-20页 |
| ·密码学简介 | 第12-14页 |
| ·代理密码学研究现状 | 第14-18页 |
| ·代理签名 | 第14-17页 |
| ·代理密码系统 | 第17-18页 |
| ·研究内容与主要成果 | 第18-19页 |
| ·论文章节安排 | 第19-20页 |
| 第二章 基本概念与基本工具 | 第20-44页 |
| ·概率论与复杂性理论基础 | 第20-26页 |
| ·概率论基础 | 第20-23页 |
| ·复杂性理论基础 | 第23-26页 |
| ·哈希函数与随机预言机模型 | 第26-27页 |
| ·哈希函数 | 第26页 |
| ·随机预言机模型 | 第26-27页 |
| ·数字签名形式化定义及其安全性模型 | 第27-31页 |
| ·数字签名的形式化定义 | 第27-28页 |
| ·数字签名的安全性模型 | 第28-30页 |
| ·基于身份的数字签名形式化定义及其安全性模型 | 第30-31页 |
| ·公钥密码系统形式化定义及其安全性模型 | 第31-36页 |
| ·公钥密码系统的形式化定义 | 第31-32页 |
| ·公钥密码系统的安全性模型 | 第32-35页 |
| ·基于身份的公钥密码系统形式化定义及其安全性模型 | 第35-36页 |
| ·安全性证明的基本工具 | 第36-42页 |
| ·Shoup引理 | 第36-37页 |
| ·分叉引理(Forking Lemma) | 第37-42页 |
| ·本章小结 | 第42-44页 |
| 第三章 一类短代理签名方案的研究与设计 | 第44-74页 |
| ·双线性配对基础 | 第44-47页 |
| ·双线性配对基本概念 | 第44-45页 |
| ·相关的数学问题与复杂性假设 | 第45-47页 |
| ·基于双线性配对的短代理签名方案 | 第47-55页 |
| ·短代理签名形式化定义及其安全性模型 | 第47-50页 |
| ·短代理签名方案设计 | 第50-51页 |
| ·短代理签名方案安全性证明 | 第51-55页 |
| ·基于双线性配对的短多重代理签名方案 | 第55-64页 |
| ·短多重代理签名形式化定义及其安全性模型 | 第55-58页 |
| ·短多重代理签名方案设计 | 第58-59页 |
| ·短多重代理签名方案安全性证明 | 第59-64页 |
| ·基于双线性配对的短门限代理签名方案 | 第64-73页 |
| ·短门限代理签名形式化定义及其安全性模型 | 第64-67页 |
| ·短门限代理签名方案设计 | 第67-69页 |
| ·短门限代理签名方案安全性证明 | 第69-73页 |
| ·本章小结 | 第73-74页 |
| 第四章 代理环签名的研究与设计 | 第74-86页 |
| ·代理环签名形式化定义及其安全性模型 | 第75-78页 |
| ·代理环签名方案设计 | 第78-79页 |
| ·代理环签名方案安全性证明 | 第79-85页 |
| ·本章小结 | 第85-86页 |
| 第五章 基于身份的一次代理签名方案的研究与设计 | 第86-97页 |
| ·基于身份的一次代理签名形式化定义及其安全性模型 | 第86-88页 |
| ·基于身份的一次代理签名方案设计 | 第88-90页 |
| ·基于身份的一次代理签名安全性证明 | 第90-96页 |
| ·本章小结 | 第96-97页 |
| 第六章 基于时间分割非转化的代理密码系统的研究与设计 | 第97-106页 |
| ·基于时间分割代理密码系统形式化定义及其安全性模型 | 第97-100页 |
| ·基于时间分割代理密码系统方案设计 | 第100-101页 |
| ·基于时间分割代理密码系统方案安全性证明 | 第101-105页 |
| ·本章小结 | 第105-106页 |
| 第七章 自代理公钥密码系统的研究与设计 | 第106-118页 |
| ·自代理公钥密码系统形式化定义及其安全性模型 | 第106-109页 |
| ·相关的数学基础与复杂性假设 | 第109-111页 |
| ·自代理公钥密码系统方案设计 | 第111-112页 |
| ·自代理公钥密码系统安全性证明 | 第112-117页 |
| ·本章小结 | 第117-118页 |
| 第八章 总结与展望 | 第118-120页 |
| ·总结 | 第118-119页 |
| ·展望 | 第119-120页 |
| 参考文献 | 第120-129页 |
| 致谢 | 第129-130页 |
| 攻读博士学位期间的论文 | 第130-135页 |