Beautiful Security

16のトピック＋1書き下ろしなセキュリティ本。テクニカルなことというよりは、もうちょい周辺的なことも含むトピックが多いですね。何となく買いそびれたままだったので。書名を見てちょっとドキっとした（笑）。ざっくり言えば同じようなことをテーマとして追いかけていたりするからなあ。
目次を羅列してみると、

第1章：数理的技法による情報セキュリティの検証
第2章：spi計算による暗号プロトコルの記号的検証
第3章：ゲーム列による安全性証明の基礎
第4章：ゲーム列による安全性証明の形式かと自動化--確立 Hoare論理と確立プロセス計算によるアプローチ
第5章：タスク構造確率I/Oオートマトンを用いた安全性証明
第6章：汎用的結合可能性による暗号システムの安全性証明
第7章：識別不可能性の記号的な秋席とその健全性・完全性
第8章：マッピング補遺--計算論的トレースから記号論的トレースへ
第9章：セキュリティプロトコルの論理的検証法

ってな感じ。なかなか興味深いトピックが並んでますね。