| 摘要 | 第1-6页 |
| ABSTRACT | 第6-8页 |
| 目录 | 第8-11页 |
| 第一章 引言 | 第11-22页 |
| §1.1 信息安全与基于身份密码 | 第11-14页 |
| §1.2 密码体制的安全性证明 | 第14-15页 |
| §1.3 基于身份的数字签名体制 | 第15-17页 |
| §1.4 代理与基于身份的代理签名体制 | 第17-18页 |
| §1.5 公平交换与基于身份数字签名的可验证加密 | 第18-19页 |
| §1.6 本文主要工作 | 第19-22页 |
| 第二章 基础理论 | 第22-31页 |
| §2.1 安全性证明基础 | 第22-24页 |
| §2.2 双线性映射 | 第24-27页 |
| §2.3 Weil 对和Tate对 | 第27-31页 |
| §2.3.1 Weil对和Tate对的定义 | 第27-28页 |
| §2.3.2 以Weil对和Tate对构造可接纳的双线性映射 | 第28-31页 |
| 第三章 基于身份的一般签名体制 | 第31-41页 |
| §3.1 数字签名体制及其安全性的形式化定义 | 第31-32页 |
| §3.2 基于身份签名体制及其安全性的形式化定义 | 第32-33页 |
| §3.3 Forking引理与基于身份一般签名体制的安全性证明 | 第33-41页 |
| §3.3.1 Forking引理的扩展 | 第34-37页 |
| §3.3.2 示例一:Hess体制的安全性证明 | 第37-39页 |
| §3.3.3 示例二:Cha-Cheon体制的安全性证明 | 第39-41页 |
| 第四章 基于身份的代理签名体制 | 第41-65页 |
| §4.1 代理签名体制概述 | 第41-43页 |
| §4.2 代理签名体制的可证安全性研究 | 第43-50页 |
| §4.2.1 代理签名体制及其安全性的形式化定义 | 第43-45页 |
| §4.2.2 KPW代理签名体制的安全性证明 | 第45-50页 |
| §4.3 基于身份代理签名体制及其安全性的形式化定义 | 第50-52页 |
| §4.4 一个有效的基于身份代理签名体制 | 第52-59页 |
| §4.4.1 体制描述及正确性和效率分析 | 第53-55页 |
| §4.4.2 安全性证明 | 第55-59页 |
| §4.5 Zhang-Kim基于身份代理签名体制的安全性证明 | 第59-65页 |
| 第五章 基于身份的代理多重签名体制 | 第65-76页 |
| §5.1 基于身份代理多重签名体制及其安全性的形式化定义 | 第65-67页 |
| §5.2 一个有效的基于身份代理多重签名体制 | 第67-73页 |
| §5.2.1 体制描述及正确性和效率分析 | 第67-69页 |
| §2.2.2 安全性证明 | 第69-73页 |
| §5.3 一类基于身份代理多重签名体制的构造 | 第73-76页 |
| §5.3.1 构造描述及正确性和效率分析 | 第73-74页 |
| §5.3.2 安全性证明 | 第74-76页 |
| 第六章 基于身份数字签名的可验证加密 | 第76-104页 |
| §6.1 可验证加密签名体制的BGLS安全性定义 | 第76-78页 |
| §6.2 基于身份的可验证加密签名体制研究 | 第78-89页 |
| §6.2.1 BGLS安全性定义的扩展 | 第78-81页 |
| §6.2.2 一个在扩展BGLS安全性定义下可证安全的体制 | 第81-87页 |
| §6.2.3 关于可验证加密签名安全性的进一步分析 | 第87-89页 |
| §6.3 基于身份数字签名的混合可验证加密 | 第89-93页 |
| §6.4 混合可验证加密签名体制的设计与分析 | 第93-104页 |
| §6.4.1 HVES 1:Hess体制的混合可验证加密 | 第94页 |
| §6.4.2 HVES 2:Cha-Cheon体制的混合可验证加密 | 第94-95页 |
| §6.4.3 HVES 3:Cheon-Kim-Yoon体制的混合可验证加密 | 第95-96页 |
| §6.4.4 正确性和效率分析 | 第96-97页 |
| §6.4.5 安全性证明 | 第97-104页 |
| 第七章 结束语 | 第104-108页 |
| §7.1 本文工作总结 | 第104-106页 |
| §7.2 有待进一步研究的问题 | 第106-108页 |
| 致谢 | 第108-109页 |
| 参考文献 | 第109-117页 |
| 作者在学期间取得的学术成果 | 第117-118页 |
