日本応用数理学会 (JSIAM)
「数理的技法による情報セキュリティ」研究部会 (FAIS)
関連出版物
-
久保田貴大, 萩谷昌己:
研究部会だより「数理的技法による情報セキュリティ」研究部会(FAIS).
応用数理, Vol. 20, No. 3, pp. 78-79 (2010年9月).
[CiNii]
- 萩谷昌己, 塚田恭章 (編):
数理的技法による情報セキュリティ.
日本応用数理学会監修,
シリーズ応用数理, 第1巻,
共立出版 (2010年7月). (ISBN 978-4-320-01950-8)
[出版社のページ]
目次
- 第1章: 数理的技法による情報セキュリティの検証 (萩谷昌己)
- 第2章: spi計算による暗号プロトコルの記号的検証 (住井英二郎)
- 第3章: ゲーム列による安全性証明の基礎 (花谷嘉一, 太田和夫)
- 第4章: ゲーム列による安全性証明の形式化と自動化−確率Hoare論理と確率プロセス計算によるアプローチ (真野健, 櫻田英樹, 河辺義信, 塚田恭章)
- 第5章: タスク構造確率I/Oオートマトンを用いた安全性証明 (米山一樹, 太田和夫)
- 第6章: 汎用的結合可能性による暗号システムの安全性証明 (岡本龍明, 真鍋義文)
- 第7章: 識別不可能性の記号的な解析とその健全性・完全性 (萩原茂樹, 米崎直樹)
- 第8章: マッピング補題−計算論的トレースから記号論的トレースへ (櫻田英樹, 萩谷昌己)
- 第9章: セキュリティプロトコルの論理的検証法 (長谷部浩二, BANA Gergei, 岡田光弘)
-
特集 数理的技法による情報セキュリティ.
応用数理, Vol. 17, No. 4, pp. 6-58 (2007年12月).
[CiNii]
-
塚田恭章:
「数理的技法による情報セキュリティ」研究部会の紹介.
応用数理, Vol. 17, No. 1, pp. 85-86 (2007年3月).
[CiNii]
FAISホームページにもどる.