楽天スーパーDEAL 対象のオススメ商品が15%ポイントバック
数理的技法による情報セキュリティ
  • Googleプレビュー

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

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

獲得ポイント:

楽天ブックス初めてご利用の方限定!

初めて利用&条件達成でポイント最大10倍

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

商品基本情報

  • 発売日:  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時間ごとに更新

    1. 1
      世界一かんたん定番年賀状 2018
      世界一かんたん定番年賀状 2018

      年賀状素材集編集部

      429円(税込)

    2. 2
      SIMフリー完全ガイド
      SIMフリー完全ガイド

      734円(税込)

    3. 3
      デジカメ写真でつくる年賀状ふぉと・ねんが(2018)
      デジカメ写真でつくる年賀状ふぉと・ねん…

      572円(税込)

    4. 4
      AI白書 2017
      AI白書 2017

      独立行政法人情報処理推進機構 AI白書編…

      3,564円(税込)

    5. 5
      かんたん年賀状素材集(2018年版)
      かんたん年賀状素材集(2018年版)

      技術評論社編集部

      1,000円(税込)

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

    このページの先頭へ