数理的技法による情報セキュリティ
Author(s)
Bibliographic Information
数理的技法による情報セキュリティ
(シリーズ応用数理 / 日本応用数理学会監修, 第1巻)
共立出版, 2010.7
- Other Title
-
Formal approach to information security
数理的技法による情報セキュリティ
- Title Transcription
-
スウリテキ ギホウ ニヨル ジョウホウ セキュリティ
Available at / 155 libraries
-
Prefectural University of Hiroshima Library and Academic Information Center
007.609||H14110032698
-
University of Tsukuba Library, Library on Library and Information Science
007.609-H1410010011974
-
No Libraries matched.
- Remove all filters.
Search this Book/Journal
Note
監修: 日本応用数理学会
参考文献: 各章末
Description and Table of Contents
Description
本書では暗号理論と数理的技法の融合による、暗号プロトコルの新しい検証手法について、基礎的な概念と主要な方法論をわかりやすくコンパクトに解説している。
Table of Contents
- 第1章 数理的技法による情報セキュリティの検証
- 第2章 spi計算による暗号プロトコルの記号的検証
- 第3章 ゲーム列による安全性証明の基礎
- 第4章 ゲーム列による安全性証明の形式化と自動化—確率Hoare論理と確率プロセス計算によるアプローチ
- 第5章 タスク構造確率I/Oオートマトンを用いた安全性証明
- 第6章 汎用的結合可能性による暗号システムの安全性証明
- 第7章 識別不可能性の記号的な解析とその健全性・完全性
- 第8章 マッピング補題—計算論的トレースから記号論的トレースへ
- 第9章 セキュリティプロトコルの論理的検証法
by "BOOK database"