講演抄録/キーワード |
講演名 |
2005-10-21 14:10
ワンタイムID鍵交換プロトコルの設計,および様相論理による安全性検証 ○今本健二・櫻井幸一(九大) |
抄録 |
(和) |
既知共有鍵モデルにおけるユーザの身元識別情報の漏えいを防ぎ,拡張性の高いシステムを構成するため,使い捨ての識別情報"ワンタイムID"を用いた3者モデルのDiffie-Hellmanベース鍵交換プロトコルを提案する.また,本論文ではこの方式に対し,様相論理に基づいた形式的検証法のひとつであるSVOロジックを用いて,プロトコルの安全性検証を行う.さらに,既存のワンタイムID生成法を考察する. |
(英) |
In order to conceal user's identity from eavesdroppers and construct a system
with high scalability, we propose a three-party Diffie-Hellman-based key exchange protocol using ``One-time ID". In this paper, we analyze the proposed protocol by SVO Logic, which is one of formal verification methods based on modal logic. Moreover, we consider some existing One-time ID generation methods. |
キーワード |
(和) |
Diffie-Hellmanベース鍵交換 / SVOロジック / 既知共有鍵モデル / ワンタイムID / / / / |
(英) |
Diffie-Hellman based key exchange / SVO Logic / Pre-shared key model / One-time ID / / / / |
文献情報 |
信学技報, vol. 105, no. 361, AI2005-18, pp. 19-24, 2005年10月. |
資料番号 |
AI2005-18 |
発行日 |
2005-10-14 (AI) |
ISSN |
Print edition: ISSN 0913-5685 |
PDFダウンロード |
|