本书取材新颖，全面介绍可证明安全性的基础理论和实用算法，力求使读者通过本书的学习而掌握可证明安全性的基础理论和基本方法。本书不仅介绍可证明安全性的基础理论和实用算法，同时也涵盖了可证明安全性的密码学的最新研究成果，力求使读者通过本书的学习而了解本学科最新的发展方向，掌握如何刻画公钥密码体制的安全性，安全证明时规约的基本使用方法，基于身份的密码体制和基于属性的密码体制的常见类型、基于的困难问题、规约方法等。 本书可作为高等学校有关专业大学生和研究生的教材，也可作为通信工程师和计算机网络工程师的参考读物。