数理的技法による情報セキュリティ

シリーズ応用数理　第１巻

共立出版
萩谷昌己　塚田恭章　

• 価格: 3,850円（本体3,500円＋税）
• 発行年月: 2010年07月
• 判型: Ａ５
• ISBN: 9784320019508

内容情報

[BOOKデータベースより]

本書では暗号理論と数理的技法の融合による、暗号プロトコルの新しい検証手法について、基礎的な概念と主要な方法論をわかりやすくコンパクトに解説している。

第１章　数理的技法による情報セキュリティの検証
第２章　ｓｐｉ計算による暗号プロトコルの記号的検証
第３章　ゲーム列による安全性証明の基礎
第４章　ゲーム列による安全性証明の形式化と自動化―確率Ｈｏａｒｅ論理と確率プロセス計算によるアプローチ
第５章　タスク構造確率Ｉ／Ｏオートマトンを用いた安全性証明
第６章　汎用的結合可能性による暗号システムの安全性証明
第７章　識別不可能性の記号的な解析とその健全性・完全性
第８章　マッピング補題―計算論的トレースから記号論的トレースへ
第９章　セキュリティプロトコルの論理的検証法

[日販商品データベースより]

暗号理論と数理的技法の融合による、暗号プロトコルの新しい検証手法―本書は、近年世界的に研究が活性化している、この新しい境界分野に関する初の邦書です。暗号理論と数理的技法はこれまで独立に発展してきたため、境界分野の理解には両分野の多岐に渡る知識が必須で、数多くの文献に目を通す必要がありました。本書は、基礎的な概念と主要な方法論をわかりやすくコンパクトに解説しており、この新しい境界分野への良き入門書となっています。