資料詳細

  • 1 件中、 1 件目

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

シリーズ応用数理 --
萩谷昌己 ／編, 塚田恭章 ／編   -- 共立出版 -- ２０１０．７ -- ２２ｃｍ -- ２０７ｐ

資料詳細

タイトル 数理的技法による情報セキュリティ
シリーズ名 シリーズ応用数理
著者名等 萩谷昌己 ／編, 塚田恭章 ／編  
出版 共立出版 ２０１０．７
大きさ等 ２２ｃｍ ２０７ｐ
分類 007.1
件名 情報理論 , 暗号
注記 並列タイトル：Ｆｏｒｍａｌ　Ａｐｐｒｏａｃｈ　ｔｏ　Ｉｎｆｏｒｍａｔｉｏｎ　Ｓｅｃｕｒｉｔｙ
注記 索引あり
著者紹介 【萩谷】１９５７年生まれ。８０年東京大学理学部卒。現在、東京大学大学院情報工学研究科教授。専門は、計算機科学。
内容紹介 暗号理論と数理的技法の融合による暗号プロトコルの新しい検証手法という、近年世界的に研究が活性化している分野に関する初の邦書。基礎的な概念と主要な方法論をわかりやすくコンパクトに解説する。
要旨 本書では暗号理論と数理的技法の融合による、暗号プロトコルの新しい検証手法について、基礎的な概念と主要な方法論をわかりやすくコンパクトに解説している。
目次 第１章　数理的技法による情報セキュリティの検証；第２章　ｓｐｉ計算による暗号プロトコルの記号的検証；第３章　ゲーム列による安全性証明の基礎；第４章　ゲーム列による安全性証明の形式化と自動化―確率Ｈｏａｒｅ論理と確率プロセス計算によるアプローチ；第５章　タスク構造確率Ｉ／Ｏオートマトンを用いた安全性証明；第６章　汎用的結合可能性による暗号システムの安全性証明；第７章　識別不可能性の記号的な解析とその健全性・完全性；第８章　マッピング補題―計算論的トレースから記号論的トレースへ；第９章　セキュリティプロトコルの論理的検証法
ISBN(13)、ISBN 978-4-320-01950-8　　 4-320-01950-4
書誌番号 1110053717
URL https://opac.lib.city.yokohama.lg.jp/winj/opac/switch-detail.do?bibid=1110053717

ページの先頭へ

所蔵

所蔵は 1 件です。現在の予約件数は 0 件です。

所蔵館 所蔵場所 別置 請求記号 資料区分 状態 取扱 資料コード
中央 書庫 007.1/595 一般書 利用可 - 2044623873 iLisvirtual

ページの先頭へ