| 講演抄録／キーワード |
| 講演名 |
2004-09-17 13:00
証明可能安全性を考慮したセキュリティプロトコル検証ツールの検討
○清本晋作・太田陽基・田中俊昭（KDDI研） |
| 抄録 |
（和） |
本論文では, 認証及び鍵共有プロトコルの安全性を検証するセキュリティプロトコル検証ツールについて述べる. 本ツールの特徴は,
既存のプロトコル検証ツールと違い, Bellareらが中心となって研究が進められた認証・鍵共有プロトコルの安全性証明の考え方に基づいて
設計されている点にある. また, 安全性の証明に基づいて, プロトコルの本質的な部分のみを検証するため,
従来のツールより高速な検証処理が実現可能である. 本ツールを用いることで, Secure Mutual Authentication, Semantic Security, Forward Secrecyなどの安全性定義について,
そのプロトコルが安全性を満たしているかどうかを自動的に判定することができ, 様々なサービスに適用する認証・鍵共有プロトコルを迅速に設計・検証
することができる. |
| （英） |
In this paper, we design
a security protocol analyzer to verify cryptographic security protocols. Our analyzer checks security protocols based upon notions of provable security.
The analyzer only evaluate core properties of security protocols that
satisfy the notions. Thus, our analyzer will be faster than existing analyzers. The analyzer automatically evaluates authentication and key distribution
protocols satisfy definitions such as Secure Mutual Authentication, Semantic Security, and Forward Secrecy.
Our analyzer is useful for constructing and checking security protocols for many services. |
| キーワード |
（和） |
プロトコル検証 / 認証プロトコル / 鍵共有プロトコル / 証明可能安全 / / / / |
| （英） |
Protocol Analysis / Authentication Protocol / Key exchange protocol / Provable Security / / / / |
| 文献情報 |
信学技報, vol. 104, no. 315, ISEC2004-67, pp. 1-8, 2004年9月. |
| 資料番号 |
ISEC2004-67 |
| 発行日 |
2004-09-10 (ISEC) |
| ISSN |
Print edition: ISSN 0913-5685 |
| PDFダウンロード |
|
| 研究会情報 |
| 研究会 |
ISEC |
| 開催期間 |
2004-09-17 - 2004-09-17 |
| 開催地（和） |
機械振興会館 |
| 開催地（英） |
Kikai-Shinko-Kaikan Bldg. |
| テーマ（和） |
一般 |
| テーマ（英） |
|
| 講演論文情報の詳細 |
| 申込み研究会 |
ISEC |
| 会議コード |
2004-09-ISEC |
| 本文の言語 |
英語（日本語タイトルあり） |
| タイトル（和） |
証明可能安全性を考慮したセキュリティプロトコル検証ツールの検討 |
| サブタイトル（和） |
|
| タイトル（英） |
Study of Security Protocol Analyzer Considering Provable Security |
| サブタイトル（英） |
|
| キーワード(1)（和/英） |
プロトコル検証 / Protocol Analysis |
| キーワード(2)（和/英） |
認証プロトコル / Authentication Protocol |
| キーワード(3)（和/英） |
鍵共有プロトコル / Key exchange protocol |
| キーワード(4)（和/英） |
証明可能安全 / Provable Security |
| キーワード(5)（和/英） |
/ |
| キーワード(6)（和/英） |
/ |
| キーワード(7)（和/英） |
/ |
| キーワード(8)（和/英） |
/ |
| 第1著者 氏名（和/英/ヨミ） |
清本 晋作 / Shinsaku Kiyomoto / キヨモト シンサク |
| 第1著者 所属（和/英） |
KDDI研究所 (略称： KDDI研)
KDDI R&D Laboratories Inc. (略称： KDDI Labs.) |
| 第2著者 氏名（和/英/ヨミ） |
太田 陽基 / Haruki Ota / |
| 第2著者 所属（和/英） |
KDDI研究所 (略称： KDDI研)
KDDI R&D Laboratories Inc. (略称： KDDI Labs.) |
| 第3著者 氏名（和/英/ヨミ） |
田中 俊昭 / Toshiaki Tanaka / |
| 第3著者 所属（和/英） |
KDDI研究所 (略称： KDDI研)
KDDI R&D Laboratories Inc. (略称： KDDI Labs.) |
| 第4著者 氏名（和/英/ヨミ） |
/ / |
| 第4著者 所属（和/英） |
(略称： )
(略称： ) |
| 第5著者 氏名（和/英/ヨミ） |
/ / |
| 第5著者 所属（和/英） |
(略称： )
(略称： ) |
| 第6著者 氏名（和/英/ヨミ） |
/ / |
| 第6著者 所属（和/英） |
(略称： )
(略称： ) |
| 第7著者 氏名（和/英/ヨミ） |
/ / |
| 第7著者 所属（和/英） |
(略称： )
(略称： ) |
| 第8著者 氏名（和/英/ヨミ） |
/ / |
| 第8著者 所属（和/英） |
(略称： )
(略称： ) |
| 第9著者 氏名（和/英/ヨミ） |
/ / |
| 第9著者 所属（和/英） |
(略称： )
(略称： ) |
| 第10著者 氏名（和/英/ヨミ） |
/ / |
| 第10著者 所属（和/英） |
(略称： )
(略称： ) |
| 第11著者 氏名（和/英/ヨミ） |
/ / |
| 第11著者 所属（和/英） |
(略称： )
(略称： ) |
| 第12著者 氏名（和/英/ヨミ） |
/ / |
| 第12著者 所属（和/英） |
(略称： )
(略称： ) |
| 第13著者 氏名（和/英/ヨミ） |
/ / |
| 第13著者 所属（和/英） |
(略称： )
(略称： ) |
| 第14著者 氏名（和/英/ヨミ） |
/ / |
| 第14著者 所属（和/英） |
(略称： )
(略称： ) |
| 第15著者 氏名（和/英/ヨミ） |
/ / |
| 第15著者 所属（和/英） |
(略称： )
(略称： ) |
| 第16著者 氏名（和/英/ヨミ） |
/ / |
| 第16著者 所属（和/英） |
(略称： )
(略称： ) |
| 第17著者 氏名（和/英/ヨミ） |
/ / |
| 第17著者 所属（和/英） |
(略称： )
(略称： ) |
| 第18著者 氏名（和/英/ヨミ） |
/ / |
| 第18著者 所属（和/英） |
(略称： )
(略称： ) |
| 第19著者 氏名（和/英/ヨミ） |
/ / |
| 第19著者 所属（和/英） |
(略称： )
(略称： ) |
| 第20著者 氏名（和/英/ヨミ） |
/ / |
| 第20著者 所属（和/英） |
(略称： )
(略称： ) |
| 講演者 |
第1著者 |
| 発表日時 |
2004-09-17 13:00:00 |
| 発表時間 |
25分 |
| 申込先研究会 |
ISEC |
| 資料番号 |
ISEC2004-67 |
| 巻番号（vol） |
vol.104 |
| 号番号（no） |
no.315 |
| ページ範囲 |
pp.1-8 |
| ページ数 |
8 |
| 発行日 |
2004-09-10 (ISEC) |
|