可證明安全理論及方法：密碼算法（簡體書）

本書比較系統全面地介紹了密碼加密方案的可證明安全理論及證明技術。主要內容包括緒論、偽隨機函數和偽隨機置換、混合論證技術與陷門單向置換、密碼學的計算問題與困難性假設、多項式安全和語義安全、抗非適應性選擇密文攻擊安全性、抗適應性選擇密文攻擊安全性、選擇性開放攻擊、密鑰關聯消息安全性、博弈證明基礎和博弈證明技術的應用。

第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
習題與思考
參考文獻