【9月22日10時00分~9月25日9時59分まで】  全品ポイント2倍以上! 
数理的技法による情報セキュリティ
  • Googleプレビュー

数理的技法による情報セキュリティ (シリ-ズ応用数理)
萩谷昌己

3,780円(税込)送料無料

獲得ポイント:

この商品が関連するクーポン・キャンペーンがあります

※エントリー必要の有無や実施期間等の各種詳細条件は、必ず各説明頁でご確認ください。

電子書籍版はまだありません。

商品基本情報

  • 発売日:  2010年07月
  • 著者/編集:   萩谷昌己塚田恭章
  • 出版社:   共立出版
  • 発行形態:  全集・双書
  • ページ数:  207p
  • ISBNコード:  9784320019508

商品説明

【内容情報】(「BOOK」データベースより)
本書では暗号理論と数理的技法の融合による、暗号プロトコルの新しい検証手法について、基礎的な概念と主要な方法論をわかりやすくコンパクトに解説している。

【目次】(「BOOK」データベースより)
第1章 数理的技法による情報セキュリティの検証/第2章 spi計算による暗号プロトコルの記号的検証/第3章 ゲーム列による安全性証明の基礎/第4章 ゲーム列による安全性証明の形式化と自動化-確率Hoare論理と確率プロセス計算によるアプローチ/第5章 タスク構造確率I/Oオートマトンを用いた安全性証明/第6章 汎用的結合可能性による暗号システムの安全性証明/第7章 識別不可能性の記号的な解析とその健全性・完全性/第8章 マッピング補題-計算論的トレースから記号論的トレースへ/第9章 セキュリティプロトコルの論理的検証法

【著者情報】(「BOOK」データベースより)
萩谷昌己(ハギヤマサミ)
1957年生まれ。1980年東京大学理学部情報科学科卒。現在、東京大学大学院情報理工学研究科教授。理学博士。専門は、計算機科学

塚田恭章(ツカダヤスユキ)
1963年生まれ。1990年東京工業大学大学院理工学研究科情報科学専攻修士課程修了。現在、日本電信電話株式会社NTTコミュニケーション科学基礎研究所主任研究員。博士(工学)。専門は、計算機科学(本データはこの書籍が刊行された当時に掲載されていたものです)

みんなのレビュー

この商品にはまだレビューがありません レビューを書く

楽天ブックスランキング情報

  • 週間ランキング

    ランキング情報がありません。

  • 日別ランキング

    ランキング情報がありません。

ご購入はこちらから

在庫あり

残りあと2

午前中に注文完了分は当日発送

あす楽対象商品

のご注文で
送料無料で  にお届け

あす楽利用条件
カード払い、ご自宅への配送に限ります。代引き、コンビニなど一部条件において対象外となります。
詳細は「あす楽」利用条件をご確認ください。

3,780円(税込)

送料無料

個数 
お気に入りに追加

最近チェックした商品

    ※表示を削除したい場合は閲覧履歴のページから削除お願いいたします

    ランキング:パソコン・システム開発

    ※1時間ごとに更新

    購入データ自動連携!楽天ブックス公式 無料 読書管理パプリ Readee

    このページの先頭へ