密码学中的可证明安全性

✍ Scribed by 杨波

• Publisher: 清华大学出版社
• Year: 2017
• Tongue: Chinese
• Leaves: 229
• Series: 网络空间安全重点规划丛书
• Category: Library

✦ Synopsis

本书全面介绍可证明安全性的发展历史及研究成果。全书共5章，第1章介绍可证明安全性涉及的数学知识和基本工具，第2章介绍语义安全的公钥密码体制的定义，第3章介绍几类常用的语义安全的公钥机密体制，第4章介绍基于身份的密码体制，第5章介绍基于属性的密码体制。

本书取材新颖，结构合理，不仅包括可证明安全性的基础理论和实用算法，同时也涵盖了可证明安全性的密码学的最新研究成果，力求使读者通过本书的学习了解本学科最新的发展方向。

本书适合作为高等院校信息安全、网络空间安全、计算机工程、密码学和信息对抗等相关专业的本科生高年级和研究生教材，也可作为通信工程师和计算机网络工程师的参考读物。

✦ Table of Contents

封面
扉页
内容简介
版权页
编审委员会
出版说明
前言
目录
第1章一些基本概念和工具
1.1　密码学中一些常用的数学知识
1.2　计算复杂性
1.3　陷门置换
1.4　零知识证明
1.5　张成方案与秘密分割方案
1.6　归约
第1章参考文献
第2章语义安全的公钥密码体制的定义
2.1　公钥密码体制的基本概念
2.2　公钥加密方案在选择密文攻击下的不可区分性
2.3　公钥加密方案在适应性选择密文攻击下的不可区分性
第2章参考文献
第3章几类语义安全的公钥密码体制
3.1　语义安全的RSA加密方案
3.2　Paillier公钥密码系统
3.3　Cramer-Shoup密码系统
3.4　RSA-FDH签名方案
3.5　BLS短签名方案
3.6　抗密钥泄露的公钥加密系统
第3章参考文献
第4章基于身份的密码体制
4.1　基于身份的密码体制定义和安全模型
4.1.1基于身份的密码体制简介
4.2　随机谕言机模型下的基于身份的密码体制
4.3　无随机谕言机模型的选定身份安全的IBE
4.4　无随机谕言机模型下的基于身份的密码体制
4.5　密文长度固定的分层次IBE
4.6　基于对偶系统加密的完全安全的IBE和HIBE
4.7　从选择明文安全到选择密文安全
第4章参考文献
第5章基于属性的密码体制
5.1　基于属性的密码体制的一般概念
5.2　基于模糊身份的加密方案
5.3　一种基于密钥策略的属性加密方案
5.4　一种基于密文策略的属性加密方案
5.5　基于对偶系统加密的完全安全的属性加密
5.6　非单调访问结构的ABE
5.7　函数加密
第5章参考文献
正文结束