基于配对的密码学
作 者： 李发根，吴威峰 著
出版时间： 2014
内容简介
基于配对的密码学是密码学学科中非常年轻的分支。自Boneh和Franklin在2001年首次将双线性对用来设计基于身份的加密体制以来，基于配对的密码学得到了快速的发展，目前已经成为设计短签名体制、基于身份的加密体制、基于属性的加密体制和无证书密码体制的重要工具。本书全面而详细地介绍了基于配对的密码学的基本理论、安全模型、算法设计、安全性证明和具体实现过程。全书共分为8章，包括基本概念、配对理论、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.1PBC的使用
2.1.1PBC的安装
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.5PBC的组织结构
2.6常用密码操作实验
参考文献
第3章基于配对的加密体制
3.1公钥加密体制
3.2随机预言模型与标准模型
3.3基于身份的加密体制
3.3.1形式化模型
3.3.2BF体制
3.3.3Waters体制
3.3.4算法实现
3.3.5性能分析
3.4无证书加密体制
3.4.1形式化模型
3.4.2AP体制
3.4.3算法实现
3.4.4性能分析
参考文献
第4章基于配对的签名体制
4.1数字签名体制
4.2短签名体制
4.2.1BLS体制
4.2.2ZSS体制
4.2.3BB体制
4.2.4算法实现
4.2.5性能分析
4.3基于身份的签名体制
4.3.1形式化模型
4.3.2CC体制
4.3.3Hess体制
4.3.4BLMQ体制
4.3.5PS体制
4.3.6算法实现
4.3.7性能分析
4.4无证书签名体制
4.4.1形式化模型
4.4.2AP体制
4.4.3ZWXF体制
4.4.4算法实现
4.4.5性能分析
参考文献
第5章基于配对的组合密码体制
5.1组合密码体制
5.2基于身份的组合密码体制
5.2.1形式化模型
5.2.2具体实例