袁征主编的《可证明安全理论及方法--密码算法（普通高等教育信息安全类国家级特色专业系列规划教材）》比较系统全面地介绍了密码加密方案的可证明安全理论及证明技术。主要内容包括绪论、伪随机函数和伪随机置换、混合论证技术与陷门单向置换、密码学的计算问题与困难性假设、多项式安全和语义安全、抗非适应性选择密文攻击安全性、抗适应性选择密文攻击安全性、选择性开放攻击、密钥关联消息安全性、博弈证明基础和博弈证明技术的应用。
本书可供从事信息安全、密码学、应用数学等相关专业的高年级本科生和研究生使用，也可供从事信息安全等相关领域的研究人员和工程师使用。

第1章 绪论
1.1 可证明安全理论的概述
1.2 基本攻击类型
1.3 安全性概念
1.4 密码加密方案的安全性证明
1.5 证明技术
习题与思考
参考文献
第2章 伪随机函数和伪随机置换
2.1 伪随机函数与伪随机置换基础
2.2 计算复杂性
2.3 伪随机发生器的构造
2.4 伪随机函数与伪随机置换转换引理
2.5 抗相关密钥攻击可证明安全的PRF和PRP
2.6 利用PRF和PRP构造私钥加密体制
习题与思考
参考文献
附录：第2章的加密方案简表
第3章 混合论证技术与陷门单向置换
3.1 混合论证技术
3.2 陷门（单向）置换
3.3 陷门（单向）置换的核心及应用
3.4 不可逼近陷门谓词与概率公钥加密方案
3.5 适应性陷门单向函数（置换）
习题与思考
参考文献
附录A：第3章的加密方案简表
附录B：第3章构造的ATDF简表
第4章 密码学的计算问题与困难性假设
4.1 计算问题与困难性假设概述
4.2 有限域上离散对数假设
4.3 椭圆曲线群上的离散对数问题
4.4 二次剩余问题
4.5 学习问题
习题与思考
参考文献
附录：第4章的加密方案简表
第5章 多项式安全和语义安全
5.1 多项式安全
5.2 语义安全
5.3 语义安全的具体加密方案
5.4 左或右不可区分意义上的安全性
习题与思考
参考文献
第6章 抗非适应性选择密文攻击安全性
6.1 语义安全与延展性
6.2 零知识证明
6.3 CCA1安全的加密方案
6.4 基于困难性假设构造CCA1安全的公钥加密方案
习题与思考
参考文献
附录：第6章的加密方案简表
第7章 抗适应性选择密文攻击安全性
7.1 CCA2安全的加密方案
7.2 构造CCA2安全的私钥加密方案
7.3 用NIZK证明系统构造CCA2安全的公钥加密方案
7.4 基于DDH假设构造CCA2安全的公钥加密方案
7.5 在随机预言机模型下的CCA2安全的加密方案
习题与思考
参考文献
附录：第7章的加密方案简表
第8章 选择性开放攻击
8.1 选择性开放攻击概述
8.2 选择性开放攻击的不安全性
8.3 一个NC-CPA安全加密方案
8.4.一个NC-CCA安全加密方案
习题与思考
参考文献
附录：第8章的加密方案简表
第9章 密钥关联消息安全性
9.1 密钥关联消息安全的私钥加密方案
9.2 密钥关联消息安全的公钥加密方案
9.3 三模型证明系统
习题与思考
参考文献
附录：第9章的加密方案简表
第10章 博弈证明基础
10.1 博弈
10.2 博弈证明技术
10.3 博弈重写
10.4 博弈重写中的硬币固定技术
10.5 博弈重写中的懒散取样
习题与思考
参考文献
第11章 博弈证明技术的应用
11.1 博弈证明技术在PRP/PRF证明中的应用
11.2 公钥加密方案0AEP
习题与思考
参考文献