講演抄録/キーワード |
講演名 |
2010-11-17 16:55
Generic Modelにおける困難性仮定への攻撃の数式処理を用いた導出 ○雲嶋健太・吉田真紀(阪大)・阿部正幸(NTT)・大久保美也子(NICT)・藤原 融(阪大) ISEC2010-58 LOIS2010-37 |
抄録 |
(和) |
暗号的な困難性仮定の妥当性を,基とする数学的構造を理想化したGeneric
Model (GM) において証明する研究が活発に行われている.しかし,しばしば
単純な誤解による誤り (仮定への攻撃の見逃し) が証明に含まれる.本研究
では,困難性仮定のGMにおける妥当性証明の支援を目的とし,証明の議論で
誤りが含まれやすい部分を数式処理を用いて自動化する手法を提案する.さ
らに,提案法を既存の数式処理システムを利用して実装し,その正しさと
有効性を確認した.具体的には, Mapleを利用して,妥当な困難性仮
定 (LIN) と妥当でない困難性仮定 (M-LRSW) に提案法を適用し,現実的な時
間内で前者は攻撃無しと判定され,後者へは既知の攻撃を一般化した攻
撃が導出されることを確認した. |
(英) |
The computational hardness of number-theoretic problems used in
cryptography is generally proved in a generic model of the based
mathematical structure such as a bilinear group. However, a proof
often contains flaws due to miss of attacks. To assist proof, this
paper proposes an automatic analysis method which derives attacks by
solving simultaneous equations. We demonstrate the usefulness of the
proposed method by using a computer algebra system called Maple.
Specifically, we apply the proposed method to well-known easy/hard
problems (M-LRSW/LIN) and confirm that it successfully derives an
attack to M-LRSW within a second, which is a generalized version of
the known attack, whereas LIN is decided that there is no attack. |
キーワード |
(和) |
困難性仮定 / Generic Model / 攻撃の導出 / 数式処理 / / / / |
(英) |
Cryptographic assumptions / generic model / attack derivation / computer algebra system / / / / |
文献情報 |
信学技報, vol. 110, no. 281, ISEC2010-58, pp. 57-64, 2010年11月. |
資料番号 |
ISEC2010-58 |
発行日 |
2010-11-10 (ISEC, LOIS) |
ISSN |
Print edition: ISSN 0913-5685 Online edition: ISSN 2432-6380 |
著作権に ついて |
技術研究報告に掲載された論文の著作権は電子情報通信学会に帰属します.(許諾番号:10GA0019/12GB0052/13GB0056/17GB0034/18GB0034) |
PDFダウンロード |
ISEC2010-58 LOIS2010-37 |