●前言
第1章 緒論
1.1 研究動機及目標
1.2 研究現狀與進展
1.3 研究意義
1.4 抗洩露密碼機制的應用
參考文獻
第2章 基礎知識
2.1 哈希函數
2.1.1 抗踫撞哈希函數
2.1.2 抗目標踫撞哈希函數
2.2 強隨機性提取
2.2.1 統計距離
2.2.2 信息熵
2.2.3 隨機性提取器
2.3 區別引理
2.4 洩露模型及洩露諭言機
2.4.1 洩露模型
2.4.2 洩露諭言機
2.5 困難性假設
2.6 合數階雙線性群及相應的子群判定假設
2.7 可證明安全理論基礎
2.8 本章小結
參考文獻
第3章 基本密碼學工具及構造
3.1 哈希證明繫統
3.1.1 平滑投影哈希函數
3.1.2 HPS的定義及安全屬性
3.1.3 HPS的具體構造
3.2 對偶繫統加密技術
3.2.1 DSE技術介紹
3.2.2 基於DSE技術的IBE機制
3.3 一次性損耗濾波器
3.3.1 OT-LF的形式化定義
3.3.2 OT-LF的安全性質
3.3.3 OT-LF的具體構造
3.4 非交互式零知識論證
3.5 卡梅隆哈希函數
3.6 密鑰衍射函數
3.7 消息驗證碼
3.8 本章小結
參考文獻
第4章 公鑰加密機制的洩露容忍性
4.1 公鑰加密機制的定義及洩露容忍的安全模型
4.1.1 公鑰加密機制的定義
4.1.2 PKE機制的抗洩露CPA安全性
4.1.3 PKE機制的抗洩露CCA安全性
4.2 抗洩露CCA安全的PKE機制
4.2.1 具體構造
4.2.2 正確性
4.2.3 安全性證明
4.3 抗連續洩露CCA安全的PKE機制
4.3.1 具體構造
4.3.2 正確性
4.3.3 安全性分析
4.4 高效的抗連續洩露CCA安全的PKE機制
4.4.1 具體構造
4.4.2 正確性
4.4.3 安全性證明
4.5 本章小結
參考文獻
第5章 基於身份加密機制的洩露容忍性
5.1 基於身份密碼體制
5.2 基於身份加密機制的定義及洩露容忍的安全模型
5.2.1 IBE機制的定義
5.2.2 IBE機制的抗洩露CPA安全性
5.2.3 IBE機制洩露容忍的CCA安全性
5.2.4 IBE機制選定身份的安全性
5.3 抗洩露CCA安全的IBE機制
5.3.1 具體構造
5.3.2 正確性
5.3.3 安全性證明
5.4 抗連續洩露CCA安全的IBE機制
5.4.1 具體構造
5.4.2 正確性
5.4.3 安全性證明
5.5 具有緊歸約性質的抗連續洩露CCA安全的IBE機制
5.5.1 具體構造
5.5.2 正確性
5.5.3 安全性證明
5.6 性能更優的抗連續洩露CCA安全的IBE機制
5.6.1 具體構造
5.6.2 正確性
5.6.3 安全性證明
5.6.4 性能的進一步優化
5.7 本章小結
參考文獻
第6章 無證書公鑰加密機制的洩露容忍性
6.1 無證書密碼機制簡介
6.2 CL-PKE機制的定義及洩露容忍的安全模型
6.2.1 形式化定義
6.2.2 安全模型中的敵手分類
6.2.3 CL-PKE機制的抗洩露CPA安全性
6.2.4 CL-PKE機制的抗洩露CCA安全性
6.3 抗洩露CCA安全的CL-PKE機制
6.3.1 具體構造
6.3.2 正確性
6.3.3 安全性證明
6.4 抗連續洩露CCA安全的CL-PKE機制
6.4.1 具體構造
6.4.2 正確性
6.4.3 安全性證明
6.5 本章小結
參考文獻
第7章 基於證書公鑰加密機制的洩露容忍性
7.1 基於證書密碼機制簡介
7.2 CB-PKE機制的定義及洩露容忍的安全模型
7.2.1 形式化定義
7.2.2 敵手分類
7.2.3 CB-PKE機制的抗洩露CPA安全性
7.2.4 CB-PKE機制洩露容忍的CCA安全性
7.3 抗洩露CCA安全的CB-PKE機制
7.3.1 具體構造
7.3.2 正確性
7.3.3 安全性證明
7.4 抗連續洩露CCA安全的CB-PKE機制
7.4.1 具體構造
7.4.2 正確性
7.4.3 安全性證明
7.5 本章小結
參考文獻
第8章 密鑰封裝機制的洩露容忍性
8.1 抗洩露的基於身份密鑰封裝機制
8.1.1 IB-KEM的定義
8.1.2 IB-KEM洩露容忍的選擇身份安全性
8.1.3 CCA安全的抗洩露IB-KEM的通用構造
8.1.4 CPA安全的IB-KEM
8.1.5 CPA安全的HIB-KEM
8.2 抗洩露的無證書密鑰封裝機制
8.2.1 CL-KEM的形式化定義
8.2.2 CL-KEM洩露容忍的安全性
8.2.3 抗洩露CCA安全的CL-KEM
8.2.4 抗連續洩露CCA安全的CL-KEM
8.3 抗洩露的基於證書廣播密鑰封裝機制
8.3.1 形式化定義
8.3.2 CB-BKEM洩露容忍的安全性
8.3.3 抗洩露CPA安全的CB-BKEM
8.4 本章小結
參考文獻