高效数字签名体制及其应用研究

基于公钥密码体制构建的数字签名能够提供完整性，不可否认性以及不可伪造性等属性，从而被广泛应用于电子世界，也是系统科学老三论中信息论研究的热点问题。本书的主要目标是研究高效的数字签名方案的可证明安全构造、对已有数字签名方案的安全性分析以及探讨其在车载无线自组织网络和在线支付协议中的应用。

第1章 绪论
1.1 研究动机
1.2 国内外研究现状
1.2.1 无证书签名体制
1.2.2 签密方案
1.2.3 密钥隔离密码体制
1.2.4 代理重签名密码体制
1.3 本书主要创新
第2章 相关理论
2.1 研究基础
2.1.1 椭圆曲线密码体制
2.1.2 双线性映射
2.1.3 困难性问题假设
2.1.4 哈希函数
2.2 可证安全和可证安全性
2.3 无证书的数字签名方案
2.3.1 Al—Riyami—Paterson的无证书数字签名方案
2.3.2 Huang等的无证书数字签名方案
2.3.3 Gorantla—Saxena无证书数字签名方案
2.4 签密方案
2.4.1 Zheng的签密方案
2.4.2 Malonej—Lee基于身份的签密方案
2.4.3 Barbosa—Farshim无证书签密方案
2.5.1 Blaze等的代理重签名方案
2.5.2 Ateniese—Hohenberger代理重签名方案
2.5.3 Liber一Vergnaud代理重签名方案
2.6 密钥隔离签名方案
2.6.1 Dodis等的密钥隔离签名方案
2.6.2 Zhou等基于身份的密钥隔离签名方案
第3章 标准模型中可证安全的无证书密钥隔离签名方案
3.1 无证书密钥隔离签名形式化定义
3.1.1 形式化定义
3.1.2 安全模型
3.2 已有签名方案的安全性分析
3.3 我们的方案
3.4 安全性分析
3.5 本章小结
第4章 无证书聚合签密方案及其在车载无线自组织网络中的应用
4.1 无证书聚合签密方案形式化定义
4.2 已有签密方案的安全性分析
4.3 本书的签密方案
4.4 签密方案的分析
4.4.1 正确性分析
4.4.2 安全性证明
4.5 针对车载无线自组织网络的路面情况监控系统
4.6 系统分析
4.6.1 安全性分析
4.6.2 性能分析
4.7 本章小结
第5章 无证书代理重签名方案及其在在线支付协议中的应用
5.1 无证书代理重签名方案形式化定义
5.2 已有签名方案的安全性分析
5.3 本书的签名方案
5.4 签名方案的分析
5.5 匿名的在线支付协议
5.6 协议分析
5.6.1 安全性分析
5.6.2 性能分析
5.7 本章小结
第6章 结论
参考文献