前言
第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 性能分析
参考文献
展开