数理的技法による情報セキュリティ
Author(s)
Bibliographic Information
数理的技法による情報セキュリティ
(シリーズ応用数理 / 日本応用数理学会監修, 第1巻)
共立出版, 2010.7
- Other Title
-
Formal approach to information security
数理的技法による情報セキュリティ
- Title Transcription
-
スウリテキ ギホウ ニヨル ジョウホウ セキュリティ
Available at 155 libraries
  Aomori
  Iwate
  Miyagi
  Akita
  Yamagata
  Fukushima
  Ibaraki
  Tochigi
  Gunma
  Saitama
  Chiba
  Tokyo
  Kanagawa
  Niigata
  Toyama
  Ishikawa
  Fukui
  Yamanashi
  Nagano
  Gifu
  Shizuoka
  Aichi
  Mie
  Shiga
  Kyoto
  Osaka
  Hyogo
  Nara
  Wakayama
  Tottori
  Shimane
  Okayama
  Hiroshima
  Yamaguchi
  Tokushima
  Kagawa
  Ehime
  Kochi
  Fukuoka
  Saga
  Nagasaki
  Kumamoto
  Oita
  Miyazaki
  Kagoshima
  Okinawa
  Korea
  China
  Thailand
  United Kingdom
  Germany
  Switzerland
  France
  Belgium
  Netherlands
  Sweden
  Norway
  United States of America
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"