2015 Fiscal Year Research-status Report
耐量子公開鍵暗号と能動的攻撃者に対して安全な秘密分散法の研究
| Project/Area Number |
15K00186
|
|---|
| Research Institution | Kyushu University |
|---|
Principal Investigator |
Morozov Kirill 九州大学, マス・フォア・インダストリ研究所, 助教 (80443232)
|
|---|
| Project Period (FY) |
2015-04-01 – 2019-03-31
|
| Keywords | 耐量子暗号 / 符号理論に基づく暗号 / デジタル署名 / 公開鍵暗号方式 / 秘密分散法 / 不正者を検知可能な秘密分散法 / Robust秘密分散法 |
|---|
| Outline of Annual Research Achievements |
(1) Courtiosその他（Asiacrypt 2001）らの符号理論に基づくデジタル署名はNiederreiter問題が困難であることを想定して、強存在的偽造不可能性を持つことを証明した。本結果の暫定版は国内SCIS 2016で発表して、最終版をIWSEC 2016に提出した。
(2) tのrushing 不正者を検知可能な(k,n)秘密分散法を構築した。分散のサイズは「(秘密のサイズ)(n-t)の(n+2t) 乗/eの(n+2t) 乗」で、攻撃者の成功確率は秘密のサイズに依存しない。本論文のプレプリントはCryptology ePrint Archiveに公開して、ICITS 2016に提出した。
(3) 複数プロバイダにわたる分散ストレージのためのグループ横断秘密分散法を構成した。Shamirの秘密分散法が二つ組み合わされ、これによって一つのプロバイダに閾値以上の分散を預けないで済むことになる。
(4) IWSEC 2014で発表した不正者を検知可能な(k,n)秘密分散法の結果をrobust秘密分散法に一般化した。特に、マルチレシーバー・マルチメッセージ認証符号はCevallosその他（EUROCRYPT 2012）らのrobust秘密分散法に応用して、その分散サイズのoverheadが50％減少した。この論文の雑誌版をIEICEジャーナルに提出した。
(5) Morozov, Takagi（ACISP 2012）ら及びHu, Morozov, Takagi（AsiaCCS 2013）で発表された符号理論に基づく公開鍵暗号方式の平文知識証明プロトコルに関係する結果を組み合わせ、安全性証明を改善し、IEICEジャーナルに掲載した。
|
| Current Status of Research Progress |
Current Status of Research Progress
2: Research has progressed on the whole more than it was originally planned.
Reason
Courtios, Finiasz, Sendrier（Asiacrypt 2001）らの署名の強存在的偽造不可能性に関係する結果を得たが、符号理論に基づくグループ署名はAlamelouその他（Workshop on Coding and Cryptography 2015）ら及びEzermanその他（Asiacrypt 2015）らを構成したので、現在の研究フォーカスを秘密分散法とそのバリアントに変更した。
|
| Strategy for Future Research Activity |
(1) ランダムオラクルを使用しない符号理論に基づくデジタル署名を構築する。この目的のために、符号理論に基づく衝突困難性をもつハッシュ関数とその関係する暗号プリミティブの研究を行う。
(2) 各線形秘密分散法に基づいて、非対話型ディーラーをもつ検証可能秘密分散法を構成する。この構成で、参加者はディーラーと対話しなくても、分散の正しさを検証できる。
|
| Causes of Carryover |
ビザ発行遅延のために、平成28年3月の米国テキサス大学ダラス校への出張をキャンセルしたこと。
|
| Expenditure Plan for Carryover Budget |
平成28年度内に米国テキサス大学ダラス校への出張に使用する予定である。
|
-
-
-
-
-
-
-
-
-
-
-
-
[Presentation] Code-based designated confirmer signatures2015
Author(s)
Kirill Morozov, Rong Hu, Tsuyoshi Takagi
Organizer
SIAM Conference on Applied Algebraic Geometry, Minisymposium MS24: Coding Theory and Cryptography 1
Place of Presentation
Daejeon, Korea
Year and Date
2015-08-04 – 2015-08-04
Int'l Joint Research / Invited
-
-
-
