基于配对的密码学

《基于配对的密码学》介绍了基于配对的密码体制的安全模型、方案设计、安全性证明和算法实现。主要包括配对理论、PBC库、基于配对的加密体制、基于配对的签名体制、基于配对的组合密码体制、基于配对的密钥协商协议、基于配对的可否认认证协议等内容。《基于配对的密码学》紧密围绕上述内容进行阐述，基本上覆盖了整个基于配对的密码学的研究内容。《基于配对的密码学》语言精练、概念准确、内容全面，力争使用简单的语言来描述密码学中复杂的安全性证明问题。阅读本书需要一定的密码学基础知识。
《基于配对的密码学》可供密码学与信息安全领域的科研人员参考，也可以作为密码学、信息安全、计算机、通信工程等专业的研究生教学用书。

前言
第1章 引言
1.1 研究背景
1.2 椭圆曲线密码体制
1.2.1 实数域上的椭圆曲线
1.2.2 有限域上的椭圆曲线
1.2.3 椭圆曲线上的ElGamal加密体制
1.3 双线性配对理论
1.4 困难问题
1.5 公钥认证方法
参考文献

第2章 PBC库
2.1 PBC的使用
2.1.1 PBC的安装
2.1.2 配置开发环境
2.1.3 执行配对运算
2.1.4 进一步说明
2.2 配对操作函数
2.2.1 配对类型
2.2.2 初始化函数
2.2.3 运算函数
2.2.4 其他函数
2.3 元素操作函数
2.3.1 初始化函数
2.3.2 运算函数
2.3.3 输入和输出函数
2.3.4 其他函数
2.4 辅助函数
2.4.1 随机数函数
2.4.2 动态数组函数
2.4.3 设置配对参数函数
2.5 PBC的组织结构
2.6 常用密码操作实验
参考文献

第3章 基于配对的加密体制
3.1 公钥加密体制
3.2 随机预言模型与标准模型
3.3 基于身份的加密体制
3.3.1 形式化模型
3.3.2 BF体制
3.3.3 Waters体制
3.3.4 算法实现
3.3.5 性能分析
3.4 无证书加密体制
3.4.1 形式化模型
3.4.2 AP体制
3.4.3 算法实现
3.4.4 性能分析
参考文献

第4章 基于配对的签名体制
4.1 数字签名体制
4.2 短签名体制
4.2.1 BLS体制
4.2.2 ZSS体制
4.2.3 BB体制
4.2.4 算法实现
4.2.5 性能分析
4.3 基于身份的签名体制
4.3.1 形式化模型
4.3.2 CC体制
4.3.3 Hess体制
4.3.4 BLMQ体制
4.3.5 PS体制
4.3.6 算法实现
4.3.7 性能分析
4.4 无证书签名体制
4.4.1 形式化模型
4.4.2 AP体制
4.4.3 ZWXF体制
4.4.4 算法实现
4.4.5 性能分析
参考文献

第5章 基于配对的组合密码体制
5.1 组合密码体制
5.2 基于身份的组合密码体制
5.2.1 形式化模型
5.2.2 具体实例
5.2.3 算法实现
5.2.4 性能分析
参考文献

第6章 基于配对的密钥协商协议
6.1 一轮三方密钥协商协议
6.2 基于身份的密钥协商协议
6.2.1 Smart协议
6.2.2 Shim协议
6.3 无证书密钥协商协议
6.4 协议实现
6.5 性能分析
参考文献

第7章 基于配对的可否认认证协议
7.1 可否认认证协议
7.2 基于身份的可否认认证协议
7.2.1 形式化模型
7.2.2 LXJ协议
7.2.3 协议实现
7.2.4 性能分析
参考文献