*目次 [#t62d141b] #contents *序章 [#ocf65e61] -[[古典暗号と現代暗号]] -[[暗号の年表]] -[[暗号の役目]] -[[暗号の鍵]] -[[暗号の強度]] *暗号系 [#t2231f89] **古典暗号 [#z2fecac9] **現代暗号 [#a68e1eba] ***共通鍵暗号系 [#l87ff65b] -[[共通鍵暗号系]] -[[ストリーム暗号]] --[[バーナム暗号]] -[[ブロック暗号]] --[[ブロック暗号の利用モード]] --[[Feistel型構造]] -[[MAC]] ***公開鍵暗号系 [#t168b194] -[[ElGamal暗号]] --[[Hashed ElGamal暗号]] -[[RSA暗号]] -[[Rabin暗号]] -[[公開鍵暗号系の安全性定義]] *ハッシュ関数 [#x3502a8f] -[[ハッシュ関数]] -[[ハッシュ関数とバースディパラドックス]] -[[MD変換]] -[[ハッシュ関数の一般形]] -[[ユニバーサルハッシュ関数]] -[[ハッシュ関数とブロック暗号]] *暗号プロトコル [#u32f3e9a] **鍵共有 [#a609573f] -[[鍵共有プロトコル]] -[[DH鍵共有プロトコル]] **認証 [#ed0eade7] -[[認証]] -[[バイオメトリクス認証]] **証明システム [#i9923e27] -[[証明システムの安全性]] -[[対話証明]] -[[ゼロ知識証明]] -[[1-out-of-2証明]] **署名 [#n38e169c] -[[RSA署名]] -[[Schnorr署名]] -[[ブラインド署名]] -[[ゼロ知識署名]] -[[1-out-of-2署名]] -[[グループ署名]] -[[検証者指定署名]] **コミットメント [#fca3105f] -[[commitment scheme]] -[[proof commitment scheme]] **暗号プロトコルの安全性 [#qb9dc4c6] -[[計算量的アプローチと数理的技法によるアプローチ]] -[[暗号プロトコルの敵のモデル]] -[[プロトコルコンパイラ]] -[[プロトコルの結合]] ***UC（Universal Composition） [#dd5e99f2] -[[UC]] -[[UC commitment scheme]] --[[CRSファンクショナリティ利用によるUC commitment schemeの実現]] --[[ROファンクショナリティ利用によるUC commitment schemeの実現]] --[[Angel利用によるUC commitment schemeの実現]] -[[UC ZK]] -[[UC Commit-and-Prove]] -[[UC KE]] -[[F_AUTH]] -[[F_KE]] -[[F_ZKIP]] -[[F_ENC]] -[[F_~COM]] -[[F_COM]] -[[gES]] *楕円曲線暗号 [#qc7df78f] -[[Bonech-FranklinのIDベース暗号]] *暗号の応用技術 [#ede648bc] **電子署名 [#qd26a2d5] -[[電子投票のモデル]] -[[暗号通信路]] *安全性 [#m12cf382] -[[敵のモデル]] -[[擬似ランダム関数と擬似ランダム置換]] -[[情報理論的な安全性]] **暗号でよく使われる仮定 [#jdaef528] ***仮定 [#l764fbc7] -[[素因数分解困難仮定]] -[[離散対数仮定]]（DLA） -[[RSA仮定:http://akademeia.info/index.php?RSA%B0%C5%B9%E6#abaf5632]] --[[強RSA仮定:http://akademeia.info/index.php?RSA%B0%C5%B9%E6#p490c279]] -[[KEA1仮定]] -[[DH仮定:http://akademeia.info/index.php?DH%B8%B0%B6%A6%CD%AD%A5%D7%A5%ED%A5%C8%A5%B3%A5%EB#f76a500c]]（CDH仮定） --[[DDH仮定:http://akademeia.info/index.php?DH%B8%B0%B6%A6%CD%AD%A5%D7%A5%ED%A5%C8%A5%B3%A5%EB#ba168516]] --[[RevocableDDH仮定]] ***モデル（セットアップ仮定） [#xb322c2b] -[[CRSモデル]] -[[ランダムオラクルモデル]] *暗号で使う数学 [#u31ee1ff] -[[暗号のための数学]] **代数学 [#lee5ff17] ***群・環・体 [#n74b7e17] ***ペアリング [#tb17cff6] -[[Weilペアリング]] -[[Bilinearペアリング]] -[[Tateペアリング]] **アルゴリズム [#z6ddc336] -[[クラス]] -[[NP完全と暗号]] -[[素数テスト]] -[[素因数分解]] **その他 [#se16bc18] -[[乱数]] --[[擬似乱数生成器]]（PRG：psudo random generator） -[[splitting lemma]]
