内容

目次

第1章　数学的準備 1.1　代数系 1.2　整数論 1.3　確率 1.4　計算量理論 第2章　安全性証明における基本概念 2.1　暗号理論におけるモデル 2.2　安全性の種別 2.3　帰着による安全性証明と計算量的仮定 2.4　安全性の定義 2.5　ゲーム変換による証明手法 第3章　基礎理論 3.1　一方向性関数 3.2　ハードコア述語 3.3　擬似乱数生成器 3.4　擬似ランダム関数 3.5　各種暗号機能の存在に関する等価性と包含関係 第4章　共通鍵暗号 4.1　共通鍵暗号の定義と構成 4.2　メッセージ認証子 4.3　ハッシュ関数 第5章　公開鍵暗号の安全性 5.1　定義と構成 5.2　安全性 5.3　安全性の定式化 5.4　基本暗号の安全性 5.5　公開鍵暗号の安全性の関係と歴史 5.6　安全性の定義間の関係 第6章　公開鍵暗号の構成 6.1　IND-CCA2安全を満たす効率的な公開鍵暗号方式 6.2　準同型暗号 6.3　ハイブリッド暗号 第7章　ディジタル署名 7.1　ディジタル署名の概念と基本方式 7.2　安全性の概念と定式化 7.3　基本署名方式の安全性 7.4　EUF-CMA安全性を満たす効率的な署名方式 7.5　様々なタイプのディジタル署名 第8章　IDベース暗号 8.1　IDベース暗号の概念と定義 8.2　安全性の概念と定式化 8.3　IDベース暗号方式 8.4　Canetti-Halevi-Katz変換 演習問題解答 参考文献 索引