本书系统地总结了安全归约的证明方法，包括相关概念的辨析、框架的设计、技巧的详细讲解以及思路模板化，从基于群的密码学基础、安全归约基础理论（包括安全模型、困难问题假设、攻击类型、敌手定义、概率优势等）、数字签名的安全证明、公钥加密体制的安全证明、基于身份加密体制的安全证明等方面对内容进行编排。 本书可作为密码学、信息安全、网络空间安全等相关专业的教材或教学参考书，也可供对公钥密码方案及安全性证明感兴趣的学生和教师参考。
