| 講演抄録/キーワード |
| 講演名 |
2016-03-11 10:00
Fail-Stop署名方式およびそのUC安全性に関する再考察 ○野村昌弘(元千葉大)・中村勝洋(千葉大) IT2015-131 ISEC2015-90 WBS2015-114 |
| 抄録 |
(和) |
Fail-Stop署名(Fail-Stop Signature,以後FSS)方式[1],[2]は,任意の(super-polynomialを含む)計算能力の偽造者に対する偽造不可能性と計算能力が多項式時間の不正直な署名者に対する否認不可能性という2つの安全性を満たす署名方式である.このFSS方式を大きなシステムの中で“安全に”使うためには,そのUC安全性[3]を示す必要があるが,偽造者と不正直な署名者では計算能力の設定が異なるため,UC安全性における敵の能力設定が難しいという課題がある.筆者ら[4]はその課題を解決するための枠組を2014年9月のISEC研究会で示したが,署名者が不正直となる場合をTTPを利用して除外していたため,上記2つの安全性を持つFSS方式の論理的枠組としては不適切とも言えた.そこで本稿では,TTPの利用ではなく,次のような論理的枠組を構成する.その枠組では,計算能力が多項式時間の偽造者と不正直な署名者が存在して,かつ偽造者だけがhelper機能によりsuper-polynomialな計算能力を(限定的に)得られる.その上で,いくつかの設定条件のもとでUC安全性を満たすFSS方式の構成方法を新たに示す. |
| (英) |
Fail-Stop Signature (FSS) schemes [1],[2] are signature schemes which satisfy unforgeability even against a forger with super-polynomial computational power and non-repudiability against a dishonest signer with polynomially-bounded computational power. To use FSS schemes ''safely'' in a large system, it must be shown that they satisfy the UC {small(Universally Composable)}-security [3]. However, there exists a problem that it is difficult to decide the computational power of an adversary in the UC-security since the computational power of a forger is different from that of a dishonest signer. To solve the problem, the authors [4] have proposed a framework with TTP {small (Trusted Third Party)}, but it is not so logical framework since there isn't any dishonest signer there by TTP. In this paper, the authors construct a new framework where there exist a forger and a dishonest signer with polynomially-bounded computational power, but the forger can get (limited) super-polynomial computational power by a helper functionality. Then the authors construct an FSS scheme which satisfies the UC-security under some conditions. |
| キーワード |
(和) |
ディジタル署名 / Fail-Stop署名 / 偽造不可能性 / 否認不可能性 / UC安全性 / / / |
| (英) |
Digital Signature / Fail-Stop Signature / Unforgeability / Non-Repudiability / UC-Security / / / |
| 文献情報 |
信学技報, vol. 115, no. 501, ISEC2015-90, pp. 181-188, 2016年3月. |
| 資料番号 |
ISEC2015-90 |
| 発行日 |
2016-03-03 (IT, ISEC, WBS) |
| ISSN |
Print edition: ISSN 0913-5685 Online edition: ISSN 2432-6380 |
著作権に ついて |
技術研究報告に掲載された論文の著作権は電子情報通信学会に帰属します.(許諾番号:10GA0019/12GB0052/13GB0056/17GB0034/18GB0034) |
| PDFダウンロード |
IT2015-131 ISEC2015-90 WBS2015-114 |
| 研究会情報 |
| 研究会 |
IT ISEC WBS |
| 開催期間 |
2016-03-10 - 2016-03-11 |
| 開催地(和) |
電気通信大学 |
| 開催地(英) |
The University of Electro-Communications |
| テーマ(和) |
IT・ISEC・WBS合同研究会 |
| テーマ(英) |
joint meeting of IT, ISEC, and WBS |
| 講演論文情報の詳細 |
| 申込み研究会 |
ISEC |
| 会議コード |
2016-03-IT-ISEC-WBS |
| 本文の言語 |
日本語 |
| タイトル(和) |
Fail-Stop署名方式およびそのUC安全性に関する再考察 |
| サブタイトル(和) |
|
| タイトル(英) |
Reconsideration of Fail-Stop Signature Schemes and Their UC-Security |
| サブタイトル(英) |
|
| キーワード(1)(和/英) |
ディジタル署名 / Digital Signature |
| キーワード(2)(和/英) |
Fail-Stop署名 / Fail-Stop Signature |
| キーワード(3)(和/英) |
偽造不可能性 / Unforgeability |
| キーワード(4)(和/英) |
否認不可能性 / Non-Repudiability |
| キーワード(5)(和/英) |
UC安全性 / UC-Security |
| キーワード(6)(和/英) |
/ |
| キーワード(7)(和/英) |
/ |
| キーワード(8)(和/英) |
/ |
| 第1著者 氏名(和/英/ヨミ) |
野村 昌弘 / Masahiro Nomura / ノムラ マサヒロ |
| 第1著者 所属(和/英) |
元・千葉大学 (略称: 元千葉大)
Ex-Chiba University (略称: Ex-Chiba Univ.) |
| 第2著者 氏名(和/英/ヨミ) |
中村 勝洋 / Katsuhiro Nakamura / ナカムラ カツヒロ |
| 第2著者 所属(和/英) |
千葉大学 (略称: 千葉大)
Chiba University (略称: Chiba Univ.) |
| 第3著者 氏名(和/英/ヨミ) |
/ / |
| 第3著者 所属(和/英) |
(略称: )
(略称: ) |
| 第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著者 所属(和/英) |
(略称: )
(略称: ) |
| 第21著者 氏名(和/英/ヨミ) |
/ / |
| 第21著者 所属(和/英) |
(略称: )
(略称: ) |
| 第22著者 氏名(和/英/ヨミ) |
/ / |
| 第22著者 所属(和/英) |
(略称: )
(略称: ) |
| 第23著者 氏名(和/英/ヨミ) |
/ / |
| 第23著者 所属(和/英) |
(略称: )
(略称: ) |
| 第24著者 氏名(和/英/ヨミ) |
/ / |
| 第24著者 所属(和/英) |
(略称: )
(略称: ) |
| 第25著者 氏名(和/英/ヨミ) |
/ / |
| 第25著者 所属(和/英) |
(略称: )
(略称: ) |
| 第26著者 氏名(和/英/ヨミ) |
/ / |
| 第26著者 所属(和/英) |
(略称: )
(略称: ) |
| 第27著者 氏名(和/英/ヨミ) |
/ / |
| 第27著者 所属(和/英) |
(略称: )
(略称: ) |
| 第28著者 氏名(和/英/ヨミ) |
/ / |
| 第28著者 所属(和/英) |
(略称: )
(略称: ) |
| 第29著者 氏名(和/英/ヨミ) |
/ / |
| 第29著者 所属(和/英) |
(略称: )
(略称: ) |
| 第30著者 氏名(和/英/ヨミ) |
/ / |
| 第30著者 所属(和/英) |
(略称: )
(略称: ) |
| 第31著者 氏名(和/英/ヨミ) |
/ / |
| 第31著者 所属(和/英) |
(略称: )
(略称: ) |
| 第32著者 氏名(和/英/ヨミ) |
/ / |
| 第32著者 所属(和/英) |
(略称: )
(略称: ) |
| 第33著者 氏名(和/英/ヨミ) |
/ / |
| 第33著者 所属(和/英) |
(略称: )
(略称: ) |
| 第34著者 氏名(和/英/ヨミ) |
/ / |
| 第34著者 所属(和/英) |
(略称: )
(略称: ) |
| 第35著者 氏名(和/英/ヨミ) |
/ / |
| 第35著者 所属(和/英) |
(略称: )
(略称: ) |
| 第36著者 氏名(和/英/ヨミ) |
/ / |
| 第36著者 所属(和/英) |
(略称: )
(略称: ) |
| 講演者 |
第1著者 |
| 発表日時 |
2016-03-11 10:00:00 |
| 発表時間 |
25分 |
| 申込先研究会 |
ISEC |
| 資料番号 |
IT2015-131, ISEC2015-90, WBS2015-114 |
| 巻番号(vol) |
vol.115 |
| 号番号(no) |
no.500(IT), no.501(ISEC), no.502(WBS) |
| ページ範囲 |
pp.181-188 |
| ページ数 |
8 |
| 発行日 |
2016-03-03 (IT, ISEC, WBS) |
|