第1章 引言 1
1.1研究背景 1
1.2椭圆曲线密码体制 3
1.2.1实数域上的椭圆曲线 3
1.2.2有限域上的椭圆曲线 4
1.2.3椭圆曲线上的ElGamal加密体制 6
1.3双线性配对理论 6
1.4困难问题 12
1.5公钥认证方法 13
参考文献 16
第2章 PBC库 18
2.1 PBC的使用 18
2.1.1 PBC的安装 18
2.1.2配置开发环境 19
2.1.3执行配对运算 19
2.1.4进一步说明 23
2.2配对操作函数 24
2.2.1配对类型 24
2.2.2初始化函数 28
2.2.3运算函数 30
2.2.4其他函数 31
2.3元素操作函数 32
2.3.1初始化函数 32
2.3.2运算函数 33
2.3.3输入和输出函数 36
2.3.4其他函数 37
2.4辅助函数 39
2.4.1随机数函数 39
2.4.2动态数组函数 39
2.4.3设置配对参数函数 40
2.5 PBC的组织结构 41
2.6常用密码操作实验 42
参考文献 42
第3章 基于配对的加密体制 43
3.1公钥加密体制 43
3.2随机预言模型与标准模型 46
3.3基于身份的加密体制 48
3.3.1形式化模型 48
3.3.2 BF体制 51
3.3.3 Waters体制 58
3.3.4算法实现 61
3.3.5性能分析 76
3.4无证书加密体制 78
3.4.1形式化模型 78
3.4.2 AP体制 83
3.4.3算法实现 85
3.4.4性能分析 97
参考文献 98
第4章 基于配对的签名体制 100
4.1数字签名体制 100
4.2短签名体制 102
4.2.1 BLS体制 102
4.2.2 ZSS体制 103
4.2.3 BB体制 104
4.2.4算法实现 105
4.2.5性能分析 118
4.3基于身份的签名体制 119
4.3.1形式化模型 119
4.3.2 CC体制 121
4.3.3 Hess体制 122
4.3.4 BLMQ体制 123
4.3.5 PS体制 126
4.3.6算法实现 132
4.3.7性能分析 154
4.4无证书签名体制 156
4.4.1形式化模型 156
4.4.2 AP体制 160
4.4.3 ZWXF体制 162
4.4.4算法实现 163
4.4.5性能分析 176
参考文献 177
第5章 基于配对的组合密码体制 179
5.1组合密码体制 179
5.2基于身份的组合密码体制 181
5.2.1形式化模型 182
5.2.2具体实例 185
5.2.3算法实现 189
5.2.4性能分析 195
参考文献 196
第6章 基于配对的密钥协商协议 198
6.1一轮三方密钥协商协议 199
6.2基于身份的密钥协商协议 200
6.2.1 Smart协议 201
6.2.2 Shim协议 202
6.3无证书密钥协商协议 204
6.4协议实现 206
6.5性能分析 229
参考文献 231
第7章 基于配对的可否认认证协议 232
7.1可否认认证协议 232
7.2基于身份的可否认认证协议 233
7.2.1形式化模型 233
7.2.2 LXJ协议 235
7.2.3协议实现 239
7.2.4性能分析 244
参考文献 245