第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安全的公鑰加密方案
習題與思考