数理的技法による情報セキュリティ
著者
書誌事項
数理的技法による情報セキュリティ
(シリーズ応用数理 / 日本応用数理学会監修, 第1巻)
共立出版, 2010.7
- タイトル別名
-
Formal approach to information security
数理的技法による情報セキュリティ
- タイトル読み
-
スウリテキ ギホウ ニヨル ジョウホウ セキュリティ
大学図書館所蔵 全154件
  青森
  岩手
  宮城
  秋田
  山形
  福島
  茨城
  栃木
  群馬
  埼玉
  千葉
  東京
  神奈川
  新潟
  富山
  石川
  福井
  山梨
  長野
  岐阜
  静岡
  愛知
  三重
  滋賀
  京都
  大阪
  兵庫
  奈良
  和歌山
  鳥取
  島根
  岡山
  広島
  山口
  徳島
  香川
  愛媛
  高知
  福岡
  佐賀
  長崎
  熊本
  大分
  宮崎
  鹿児島
  沖縄
  韓国
  中国
  タイ
  イギリス
  ドイツ
  スイス
  フランス
  ベルギー
  オランダ
  スウェーデン
  ノルウェー
  アメリカ
この図書・雑誌をさがす
注記
監修: 日本応用数理学会
参考文献: 各章末
内容説明・目次
内容説明
本書では暗号理論と数理的技法の融合による、暗号プロトコルの新しい検証手法について、基礎的な概念と主要な方法論をわかりやすくコンパクトに解説している。
目次
- 第1章 数理的技法による情報セキュリティの検証
- 第2章 spi計算による暗号プロトコルの記号的検証
- 第3章 ゲーム列による安全性証明の基礎
- 第4章 ゲーム列による安全性証明の形式化と自動化—確率Hoare論理と確率プロセス計算によるアプローチ
- 第5章 タスク構造確率I/Oオートマトンを用いた安全性証明
- 第6章 汎用的結合可能性による暗号システムの安全性証明
- 第7章 識別不可能性の記号的な解析とその健全性・完全性
- 第8章 マッピング補題—計算論的トレースから記号論的トレースへ
- 第9章 セキュリティプロトコルの論理的検証法
「BOOKデータベース」 より