ビューティフルセキュリティ (THEORY/IN/PRACTICE)
- 作者: Andy Oram,John Viega,伊藤真浩
- 出版社/メーカー: オライリージャパン
- 発売日: 2010/06/28
- メディア: 大型本
- 購入: 2人 クリック: 116回
- この商品を含むブログ (10件) を見る
- 作者: Robert C. Seacord,久保正樹,戸田洋三
- 出版社/メーカー: アスキー・メディアワークス
- 発売日: 2009/09/29
- メディア: 大型本
- クリック: 5回
- この商品を含むブログ (7件) を見る
- 作者: 日本応用数理学会,萩谷昌己,塚田恭章
- 出版社/メーカー: 共立出版
- 発売日: 2010/07/25
- メディア: 単行本
- クリック: 1回
- この商品を含むブログ (2件) を見る
目次を羅列してみると、
第1章:数理的技法による情報セキュリティの検証
第2章:spi計算による暗号プロトコルの記号的検証
第3章:ゲーム列による安全性証明の基礎
第4章:ゲーム列による安全性証明の形式かと自動化--確立 Hoare論理と確立プロセス計算によるアプローチ
第5章:タスク構造確率I/Oオートマトンを用いた安全性証明
第6章:汎用的結合可能性による暗号システムの安全性証明
第7章:識別不可能性の記号的な秋席とその健全性・完全性
第8章:マッピング補遺--計算論的トレースから記号論的トレースへ
第9章:セキュリティプロトコルの論理的検証法
ってな感じ。なかなか興味深いトピックが並んでますね。