書誌事項
- タイトル別名
-
- Formalization and Automation of Security Proof by Sequences of Games(<Special Topics> Formal Approach to Information Security)
- ゲーム列による安全性証明の形式化と自動化
- ゲームレツ ニ ヨル アンゼンセイ ショウメイ ノ ケイシキカ ト ジドウカ
この論文をさがす
抄録
Recently extensive research has been undertaken on the computational foundations of symbolic proof methods for security protocols. There are two approaches to providing such foundations. One is to give a probabilistic re-interpretation to existing symbolic methods such as the Dolev-Yao model and justify it computationally. The other is to re-formulate traditional computational arguments in an appropriate formal system and apply symbolic methods. The former approach is called indirect while the latter is called direct. This paper introduces the direct approach. Three studies on the direct approach are dealt with here, namely those by Corin and den Hartog, by Blanchet and Pointcheval, and by Canetti et al. They all formalize security proofs by sequences of games in different formal systems. We describe the formal systems they use, how they formalize probabilistic aspects and computational intractability assumptions, and the possibility of obtaining formal security proofs automatically.
収録刊行物
-
- 応用数理
-
応用数理 17 (4), 302-310, 2007
一般社団法人 日本応用数理学会
- Tweet
詳細情報 詳細情報について
-
- CRID
- 1390001205765256064
-
- NII論文ID
- 110006532031
-
- NII書誌ID
- AN10288886
-
- ISSN
- 09172270
- 24321982
-
- NDL書誌ID
- 9333286
-
- 本文言語コード
- ja
-
- データソース種別
-
- JaLC
- NDL
- CiNii Articles
-
- 抄録ライセンスフラグ
- 使用不可