ようこそ！
カート
マイページ
eフレンズトップ
ログイン
メニュー
本　こだわり検索
書名
著者名
商品説明
出版社名
出版年月
年 月
ジャンル
ISBNコード
本
文庫
 
新書・選書
 
文芸
 
教養
 
人文
 
教育
 
芸術
 
児童
 
趣味
 
生活
 
地図・ガイド
 
就職・資格
 
語学
 
小学学参
 
中学学参
 
高校学参
 
辞典
 
コミック
 
ゲーム攻略本
 
エンターテイメント
 
日記手帳
 
社会
 
法律
 
経済
 
経営
 
ビジネス
 
理学
 
工学
 
コンピュータ
 
医学
 
看護学
 
薬学
 
本 > 理学 > 数学 > 情報数学
出版社名：共立出版
出版年月：2010年7月
ISBN：978-4-320-01950-8
２０７Ｐ　２２ｃｍ
数理的技法による情報セキュリティ/シリーズ応用数理　第１巻
日本応用数理学会／監修　萩谷昌己／編　塚田恭章／編
 
組合員価格 税込 3,658円
(通常価格 税込 3,850円)
割引率 5%
在庫あり
生協宅配にてお届け
※お盆前後は商品のお届けが通常より遅れる場合がございます。
暗号理論と数理的技法の融合による暗号プロトコルの新しい検証手法という、近年世界的に研究が活性化している分野に関する初の邦書。
暗号理論と数理的技法の融合による暗号プロトコルの新しい検証手法という、近年世界的に研究が活性化している分野に関する初の邦書。
内容紹介・もくじなど
本書では暗号理論と数理的技法の融合による、暗号プロトコルの新しい検証手法について、基礎的な概念と主要な方法論をわかりやすくコンパクトに解説している。
もくじ情報：第１章　数理的技法による情報セキュリティの検証；第２章　ｓｐｉ計算による暗号プロトコルの記号的検証；第３章　ゲーム列による安全性証明の基礎；第４章　ゲーム列による安全性証明の形式化と自動化―確率Ｈｏａｒｅ論理と確率プロセス計算によるアプローチ；第５章　タスク構造確率Ｉ／Ｏオートマトンを用いた安全性証明；第６章　汎用的結合可能性による暗号システムの安全性証明；第７章　識別不可能性の記号的な解析とその健全性・完全性；第８章　マッピング補題…（続く）
本書では暗号理論と数理的技法の融合による、暗号プロトコルの新しい検証手法について、基礎的な概念と主要な方法論をわかりやすくコンパクトに解説している。
もくじ情報：第１章　数理的技法による情報セキュリティの検証；第２章　ｓｐｉ計算による暗号プロトコルの記号的検証；第３章　ゲーム列による安全性証明の基礎；第４章　ゲーム列による安全性証明の形式化と自動化―確率Ｈｏａｒｅ論理と確率プロセス計算によるアプローチ；第５章　タスク構造確率Ｉ／Ｏオートマトンを用いた安全性証明；第６章　汎用的結合可能性による暗号システムの安全性証明；第７章　識別不可能性の記号的な解析とその健全性・完全性；第８章　マッピング補題―計算論的トレースから記号論的トレースへ；第９章　セキュリティプロトコルの論理的検証法
著者プロフィール
萩谷　昌己(ハギヤ　マサミ)
１９５７年生まれ。１９８０年東京大学理学部情報科学科卒。現在、東京大学大学院情報理工学研究科教授。理学博士。専門は、計算機科学
萩谷　昌己(ハギヤ　マサミ)
１９５７年生まれ。１９８０年東京大学理学部情報科学科卒。現在、東京大学大学院情報理工学研究科教授。理学博士。専門は、計算機科学

同じ著者名で検索した本

応用数理ハンドブック
日本応用数理学会／監修　薩摩順吉／編集　大石進一／編集　杉原正顯／編集
公開鍵暗号の数理/シリーズ応用数理　第２巻
日本応用数理学会／監修　森山大輔／著　西巻陵／著　岡本龍明／著
 
このサイトの利用に関しては、ご利用生協の宅配事業に関する約款等ならびにeフレンズ利用規約に基づきます。
このサイトについて eフレンズトップ
利用規約 ご利用ガイド
特定取引法に基づく表示
個人情報の取り扱いについて お問い合わせ
©COOP KINKI all rights reserved. このページに掲載の記事・写真・イラストなどの無断転載を禁じます。