数理的技法による情報セキュリティ(シリーズ応用数理〈第1巻〉) [全集叢書]
    • 数理的技法による情報セキュリティ(シリーズ応用数理〈第1巻〉) [全集叢書]

    • ¥3,780227ポイント(6%還元)
    • 在庫あり本日12:00までヨドバシエクストリームサービス便(無料)がお届け
店舗受け取りが可能です
NEWマルチメディアAkibaマルチメディア梅田マルチメディア博多にて24時間営業時間外でもお受け取りいただけるようになりました
100000009001214687

数理的技法による情報セキュリティ(シリーズ応用数理〈第1巻〉) [全集叢書]

価格:¥3,780(税込)
ポイント:227ポイント(6%還元)(¥227相当)
お届け日:在庫あり今すぐのご注文で、本日12:00までヨドバシエクストリームサービス便(無料)がお届けします。届け先変更]詳しくはこちら
出版社:共立出版
販売開始日:2010/07/24
ご確認事項:返品不可

数理的技法による情報セキュリティ(シリーズ応用数理〈第1巻〉) の 商品概要

  • 要旨(「BOOK」データベースより)

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

    第1章 数理的技法による情報セキュリティの検証
    第2章 spi計算による暗号プロトコルの記号的検証
    第3章 ゲーム列による安全性証明の基礎
    第4章 ゲーム列による安全性証明の形式化と自動化―確率Hoare論理と確率プロセス計算によるアプローチ
    第5章 タスク構造確率I/Oオートマトンを用いた安全性証明
    第6章 汎用的結合可能性による暗号システムの安全性証明
    第7章 識別不可能性の記号的な解析とその健全性・完全性
    第8章 マッピング補題―計算論的トレースから記号論的トレースへ
    第9章 セキュリティプロトコルの論理的検証法
  • 著者紹介(「BOOK著者紹介情報」より)(本データはこの書籍が刊行された当時に掲載されていたものです)

    萩谷 昌己(ハギヤ マサミ)
    1957年生まれ。1980年東京大学理学部情報科学科卒。現在、東京大学大学院情報理工学研究科教授。理学博士。専門は、計算機科学

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

数理的技法による情報セキュリティ(シリーズ応用数理〈第1巻〉) の商品スペック

商品仕様
出版社名:共立出版
著者名:日本応用数理学会(監修)/萩谷 昌己(編)/塚田 恭章(編)
発行年月日:2010/07/25
ISBN-10:4320019504
ISBN-13:9784320019508
判型:A5
対象:専門
発行形態:全集叢書
内容:数学
ページ数:207ページ
縦:22cm

    共立出版 数理的技法による情報セキュリティ(シリーズ応用数理〈第1巻〉) [全集叢書] に関するレビューとQ&A

    商品に関するご意見やご感想、購入者への質問をお待ちしています!