検索結果書誌詳細

  • 書誌の詳細です。 現在、予約しているのは 0 件です。
  • 「資料情報」から書誌を予約カートに入れるページに移動します。

蔵書情報

この資料の蔵書に関する統計情報です。現在の所蔵数 在庫数 予約数などを確認できます。

所蔵数 1 在庫数 1 予約数 0

書誌情報サマリ

書名

数理的技法による情報セキュリティ (シリーズ応用数理)

著者名 日本応用数理学会/監修
著者名ヨミ ニホン オウヨウ スウリ ガッカイ
出版者 共立出版
出版年月 2010.7


この資料に対する操作

カートに入れる を押すと この資料を 予約する候補として予約カートに追加します。

いますぐ予約する を押すと 認証後この資料をすぐに予約します。

  

この資料に対する操作

電子書籍を読むを押すと 電子図書館に移動しこの資料の電子書籍を読むことができます。


登録するリストログインメモ


資料情報

各蔵書資料に関する詳細情報です。

No. 資料番号 請求記号 帯出区分 状態 配架場所 貸出
1 0105544902007.60/スウ/貸閲複可在庫 書庫3

関連資料

この資料に関連する資料を 同じ著者 出版年 分類 件名 受賞などの切り口でご紹介します。

2010
007.609 007.37
情報セキュリティ(コンピュータ) 暗号

書誌詳細

この資料の書誌詳細情報です。

タイトルコード 1009950845388
書誌種別 和図書(一般)
著者名 日本応用数理学会/監修   萩谷 昌己/編   塚田 恭章/編
著者名ヨミ ニホン オウヨウ スウリ ガッカイ ハギヤ マサミ ツカダ ヤスユキ
出版者 共立出版
出版年月 2010.7
ページ数 15,207p
大きさ 22cm
ISBN 4-320-01950-8
分類記号 007.609
分類記号 007.37
書名 数理的技法による情報セキュリティ (シリーズ応用数理)
書名ヨミ スウリテキ ギホウ ニ ヨル ジョウホウ セキュリティ
内容紹介 暗号理論と数理的技法の融合による、暗号プロトコルの新しい検証手法について、基礎的な概念と主要な方法論をわかりやすくコンパクトに解説する。新しい境界分野への入門書として最適な一冊。
叢書名 シリーズ応用数理

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


目次


内容細目

前のページへ

本文はここまでです。


ページの終わりです。