Security Akademeia

目次 †

目次
読み物
証明可能安全性
実装
現代暗号
古典暗号

↑

読み物 †

『』
- 定番
- 文庫版の『』『』も登場した。
『』
『』
『』

↑

証明可能安全性 †

『』
- 各暗号理論の証明可能安全性の基本（帰着法やアドバンテージの評価）を身につけることができる。
- ただし、簡潔に書かれているところも多々あるので、他の本などで行間を埋めるように補強しなければならない。
『』、『』
- 英語
- バイブル的存在。証明可能安全性に興味がある方へ。数学的なところもきちんとフォローされている。
- ただし、ある程度暗号と数学をわかってないと読むのは辛いと思う。
- 購入しなくても、Goldreichの公式サイトからダウンロード可能（助かる）。
『』
- 英語
- 暗号プロトコルの証明可能安全性に興味がある方へ。
- 前半は暗号プロトコルの従来の証明可能安全性、後半はUCについて。
『』
- 安全性を高めるための確率論的手法までを紹介した教科書。
『』
『』

↑

実装 †

『』
- 絶版
- 前半が古典暗号、後半が現代暗号（といっても最新のものはもちろんない）
- 具体的な言語のソースコードが載っているわけではなく、プログラムを書くときにわかりやすい書式でアルゴリズムが載っている。
『』
- 前半は暗号に必要な基本的な数論、後半がプログラミングの話。
- 多倍長演算用のJavaのライブラリとその使い方。
- 最終的にRSAの実装の方法が載っている。
『』
- 前編はナップザック問題を例にしたNP完全の話
- 中編はC言語による古典暗号のプログラム
- 後編は代数計算ソフトウェアであるGAPによる群や代数曲線の扱い方
『』
『』
『』

↑

現代暗号 †

↑

暗号全般 †

『』
『』
- 体系的に暗号を学びたい人にお勧め。例がものすごいわかりやすい。読了後、暗号に興味を持った人は、数学的なアプローチで書かれている本を探すとよいと思う。
『』
- 原書第3版の日本語版。
- 前半3章は数学的基礎。素因数分解と離散対数に関してはそれぞれ1章設けている。ただし、アルゴリズムの解説がちょっと網羅されていない。
- 原書第3版はAESの原理となぜこのようなS-boxが選ばれたのかという理由などが書かれている。
- 章末問題の解答はすべて載っているが、解説はすべて載っているわけではない。
『』
- 数学・暗号理論・符号理論における代表的な理論が解説されている。
  - 数学ならユークリッドの互除法、中国人剰余定理、有限体など
  - 暗号理論なら古典暗号（エニグマ暗号のアルゴリズムが載っている）、共通鍵暗号系（AES）、公開鍵暗号系（RSA暗号、ナップザック暗号）、擬似乱数生成器など
  - 符号理論ならバーコード、ハミング符号など
- MapleやMuPADのコードも紹介されている点も嬉しい。
『』
- 各種暗号系の安全性について体系的に書かれている。例えばIND-CCA2、OWなど安全性のレベルの段階についても解説されている。
- しかしこれを読んだからといって、暗号の証明可能安全性の方法を習得できるわけではないので、論文か別の本で補強すること。
『』
『』
『』
- 高いけど、使える。
- ただし、証明可能安全性の用語については別の本で調べる必要があるかもしれない。
『』
- 辞書なので、暗号方式の仕様を調べるときや満たしている安全性を簡単に調べることができる。
- しかし、安全性の証明はもちろん書いていない。
- 論文リストを列挙するときにも使える。
『臨時別冊・数理科学　現代暗号とマジックプロトコル』
- 絶版？
- 暗号プロトコルも広く扱っている。
- ISSN：0386-8257
『』
- 前半は暗号で使う基本的な数論
- 後半は公開鍵暗号スキームとDES
『』
『』