ご使用のブラウザでは、Cookieの設定が無効になっています。
すべての機能を利用するには、ブラウザの設定から当サイトドメインのCookieを有効にしてください。

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

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

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

  • 日本応用数理学会/監修 萩谷昌己/編 塚田恭章/編 萩谷 昌己
    1957年生まれ。1980年東京大学理学部情報科学科卒。現在、東京大学大学院情報理工学研究科教授。理学博士。専門は、計算機科学

    塚田 恭章
    1963年生まれ。1990年東京工業大学大学院理工学研究科情報科学専攻修士課程修了。現在、日本電信電話株式会社NTTコミュニケーション科学基礎研究所主任研究員。博士(工学)。専門は、計算機科学

  • シリーズ名
    シリーズ応用数理 第1巻
  • ISBN
    978-4-320-01950-8
  • 発売日
    2010年07月

閉じる

例)1234567

[住所の変更]

宅配受取り
店舗受取り(送料無料
セブン-イレブン
その他の店舗

閉じる

[対象店舗]
お急ぎ店舗受取り(324円

数量:

3,500 (税込:3,780

メーカーに在庫確認

現在、商品はございません。
ご注文後、メーカーより商品をお取り寄せします。
詳しくはよくある質問をご確認ください。
シェアする
Facebook
Twitter
メール

閉じる

ログイン後、改めてメールの送信をお願いします。 ログイン

商品の説明

  • 本書では暗号理論と数理的技法の融合による、暗号プロトコルの新しい検証手法について、基礎的な概念と主要な方法論をわかりやすくコンパクトに解説している。
目次
第1章 数理的技法による情報セキュリティの検証
第2章 spi計算による暗号プロトコルの記号的検証
第3章 ゲーム列による安全性証明の基礎
第4章 ゲーム列による安全性証明の形式化と自動化―確率Hoare論理と確率プロセス計算によるアプローチ
第5章 タスク構造確率I/Oオートマトンを用いた安全性証明
第6章 汎用的結合可能性による暗号システムの安全性証明
第7章 識別不可能性の記号的な解析とその健全性・完全性
第8章 マッピング補題―計算論的トレースから記号論的トレースへ
第9章 セキュリティプロトコルの論理的検証法

商品詳細情報

フォーマット 単行本
サイズ 22cm
対象年齢 一般

ページの先頭へ

閉じる

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

閉じる

エラーが発生しました。

読み込み中