電子情報通信学会 研究会発表申込システム
講演論文 詳細
技報閲覧サービス
技報オンライン
‥‥ (ESS/通ソ/エレソ/ISS)
技報アーカイブ
‥‥ (エレソ)
 トップに戻る 前のページに戻る   [Japanese] / [English] 

講演抄録/キーワード
講演名 2011-11-15 14:15
EUC安全なメッセージ認証のためのmulti-messageプロトコルに対する記号的基準
鈴木斎輝吉田真紀藤原 融阪大
技報オンラインサービス実施中
抄録 (和) 暗号プロトコルがEUC安全であるとは,
任意のプロトコルと結合・情報共有した形で実行しても,
そのプロトコルの機能が損なわれないことである.
これまでに, EUC 安全なメッセージ認証プロトコルの
形式的検証を可能とするため,計算論的に健全な記号的基準を提案した.
対象プロトコルはメッセージ送信者が受信者へ
データを1度だけ送る (1-message) プロトコルに制限される.
本稿では, 双方向に通信する (multi-message) プロトコルを対象とし,
EUC 安全なメッセージ認証のための記号的基準を提案し,
その計算論的健全性を証明する. 
(英) A protocol is said to be EUC secure if it can be securely
composed with arbitrary protocols which use the same setup.
We have presented a computationally sound symbolic criterion for verification of EUC secure message authentication protocols
which are restricted to 1-message ones.
This paper proposes a symbolic criterion for
multi-message protocols and shows its computational soundness.
キーワード (和) EUC 安全性 / メッセージ認証 / 形式的検証 / 計算論的健全性 / / / /  
(英) EUC security / message authentication / formal verification / computational soundness / / / /  
文献情報 信学技報, vol. 111, no. 285, ISEC2011-57, pp. 155-162, 2011年11月.
資料番号 ISEC2011-57 
発行日 2011-11-07 (ISEC, LOIS) 
ISSN Print edition: ISSN 0913-5685  Online edition: ISSN 2432-6380

研究会情報
研究会 ISEC LOIS  
開催期間 2011-11-14 - 2011-11-15 
開催地(和) 大阪電気通信大学 
開催地(英) Osaka Electro-Communication University 
テーマ(和) 情報セキュリティ,ライフログ活用技術,ライフインテリジェンス,オフィス情報システム,一般 
テーマ(英)  
講演論文情報の詳細
申込み研究会 ISEC 
会議コード 2011-11-ISEC-LOIS 
本文の言語 日本語 
タイトル(和) EUC安全なメッセージ認証のためのmulti-messageプロトコルに対する記号的基準 
サブタイトル(和)  
タイトル(英) Symbolic Criterion of EUC Secure Message Authentication for Multi-Message Protocols 
サブタイトル(英)  
キーワード(1)(和/英) EUC 安全性 / EUC security  
キーワード(2)(和/英) メッセージ認証 / message authentication  
キーワード(3)(和/英) 形式的検証 / formal verification  
キーワード(4)(和/英) 計算論的健全性 / computational soundness  
キーワード(5)(和/英) /  
キーワード(6)(和/英) /  
キーワード(7)(和/英) /  
キーワード(8)(和/英) /  
第1著者 氏名(和/英/ヨミ) 鈴木 斎輝 / Itsuki Suzuki / スズキ イツキ
第1著者 所属(和/英) 大阪大学 (略称: 阪大)
Osaka University (略称: Osaka Univ.)
第2著者 氏名(和/英/ヨミ) 吉田 真紀 / Maki Yoshida / ヨシダ マキ
第2著者 所属(和/英) 大阪大学 (略称: 阪大)
Osaka University (略称: Osaka Univ.)
第3著者 氏名(和/英/ヨミ) 藤原 融 / Toru Fujiwara / フジワラ トオル
第3著者 所属(和/英) 大阪大学 (略称: 阪大)
Osaka University (略称: Osaka Univ.)
第4著者 氏名(和/英/ヨミ) / /
第4著者 所属(和/英) (略称: )
(略称: )
第5著者 氏名(和/英/ヨミ) / /
第5著者 所属(和/英) (略称: )
(略称: )
第6著者 氏名(和/英/ヨミ) / /
第6著者 所属(和/英) (略称: )
(略称: )
第7著者 氏名(和/英/ヨミ) / /
第7著者 所属(和/英) (略称: )
(略称: )
第8著者 氏名(和/英/ヨミ) / /
第8著者 所属(和/英) (略称: )
(略称: )
第9著者 氏名(和/英/ヨミ) / /
第9著者 所属(和/英) (略称: )
(略称: )
第10著者 氏名(和/英/ヨミ) / /
第10著者 所属(和/英) (略称: )
(略称: )
第11著者 氏名(和/英/ヨミ) / /
第11著者 所属(和/英) (略称: )
(略称: )
第12著者 氏名(和/英/ヨミ) / /
第12著者 所属(和/英) (略称: )
(略称: )
第13著者 氏名(和/英/ヨミ) / /
第13著者 所属(和/英) (略称: )
(略称: )
第14著者 氏名(和/英/ヨミ) / /
第14著者 所属(和/英) (略称: )
(略称: )
第15著者 氏名(和/英/ヨミ) / /
第15著者 所属(和/英) (略称: )
(略称: )
講演者
発表日時 2011-11-15 14:15:00 
発表時間 25 
申込先研究会 ISEC 
資料番号 IEICE-ISEC2011-57,IEICE-LOIS2011-51 
巻番号(vol) IEICE-111 
号番号(no) no.285(ISEC), no.286(LOIS) 
ページ範囲 pp.155-162 
ページ数 IEICE-8 
発行日 IEICE-ISEC-2011-11-07,IEICE-LOIS-2011-11-07 


[研究会発表申込システムのトップページに戻る]

[電子情報通信学会ホームページ]


IEICE / 電子情報通信学会