| 大会名称 |
|---|
| 2009年 情報科学技術フォーラム(FIT) |
| 大会コ－ド |
| F |
| 開催年 |
| 2009 |
| 発行日 |
| 2009/8/20 |
| セッション番号 |
| 7P |
| セッション名 |
| セキュリティ応用 |
| 講演日 |
| 2009/09/04 |
| 講演場所(会議室等) |
| P会場（9号館3F 936教室） |
| 講演番号 |
| L-035 |
| タイトル |
| 鍵交換プロトコルの安全性の検証ポイントに関する検討 |
| 著者名 |
| 太田 陽基, 清本 晋作, 田中 俊昭, |
| キーワード |
| 安全性検証, 鍵交換プロトコル, 検証ポイント |
| 抄録 |
| 鍵交換プロトコルの安全性検証手法として,フォーマル検証にもとづく手法が数多く提案されている.しかしながら,これらの手法は安全性検証に多くの時間を要する,必ずしも自動化されていない,という問題がある.著者らは,Bellareらの安全性モデルにもとづいて,鍵交換プロトコルの安全性検証手法を提案し,5つの各安全性をチェックするための検証ポイントを示した.本稿では,鍵交換プロトコルに対し,以前示していなかった,検出不可能なオンライン辞書攻撃安全,未知鍵共有攻撃安全,strong forward secrecy,weak backward secrecyの4つの安全性に関する検証ポイントを示す. |
| 本文pdf |
| PDF download (119.3KB) |