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

Author(s)

• 萩谷, 昌己 ハギヤ, マサミ
• 塚田, 恭章 ツカダ, ヤスユキ
• 日本応用数理学会 ニホン オウヨウ スウリ ガッカイ

Bibliographic Information

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

萩谷昌己, 塚田恭章編

（シリーズ応用数理 / 日本応用数理学会監修, 第1巻）

共立出版, 2010.7

Other Title

Formal approach to information security

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

Title Transcription

スウリテキ ギホウ ニヨル ジョウホウ セキュリティ

Note

監修: 日本応用数理学会

参考文献: 各章末

Description and Table of Contents

Description

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

Table of Contents

• 第１章　数理的技法による情報セキュリティの検証
• 第２章　ｓｐｉ計算による暗号プロトコルの記号的検証
• 第３章　ゲーム列による安全性証明の基礎
• 第４章　ゲーム列による安全性証明の形式化と自動化—確率Ｈｏａｒｅ論理と確率プロセス計算によるアプローチ
• 第５章　タスク構造確率Ｉ／Ｏオートマトンを用いた安全性証明
• 第６章　汎用的結合可能性による暗号システムの安全性証明
• 第７章　識別不可能性の記号的な解析とその健全性・完全性
• 第８章　マッピング補題—計算論的トレースから記号論的トレースへ
• 第９章　セキュリティプロトコルの論理的検証法

by "BOOK database"

Details

• NCID: BB02866018
• ISBN:
  • 9784320019508
• Country Code: ja
• Title Language Code: jpn
• Text Language Code: jpn
• Place of Publication: 東京
• Pages/Volumes: xv, 207p
• Size: 22cm
• Classification:
  • NDC8 : 007.6
  • NDC9 : 007.609
• Subject Headings:
  • BSH : コンピュータセキュリティ
  • BSH : 暗号
• Parent Bibliography ID:
  • BB02865999