作者：杨波著
出版社： 清华大学出版社
CIP号：2017040288
书号：978-7-302-46722-9
出版地：北京
出版时间：2017
定价：￥45
本书全面介绍可证明安全性的发展历史及研究成果，分为五章，第1章介绍可证明安全性用到的一些数学知识和基本工具，第2章介绍语义安全的公钥密码体制的定义，第3章介绍几类常用的语义安全的公钥机密体制，第4章介绍基于身份的密码体制，第5章介绍基于属性的密码体制。