講演名 2008-09-12
複数の計算量仮定を組み込んだメタ帰着技法による安全性解析 : ElGamal暗号の場合
川合 豊, 太田 和夫,
PDFダウンロードページ PDFダウンロードページへ
抄録(和) 単一鍵素因数分解問題に基づく暗号・署名系の安全性を解析する手法としてメタ帰着技法が知られている.既存の研究では,メタ帰着技法をある1つの計算量的仮定の下でのみ用いて安全性解析を行っていた.本稿では,メタ帰着を用いた解析において,複数の計算量的仮定を用いることで,1つの仮定のみを用いた場合よりも厳密な解析が行える場合を示す.具体的な例として,ElGamal暗号方式の安全性をComputational Diffie-Hellman問題Decisional Diffie-Hellman問題,Strong Diffie-Hellman問題の下で解析を行う.
抄録(英) Meta-reduction technique is the method that the security of single key factoring-based encryption or signature is analyzed. In the previous works, the meta-reduction technique was discussed only under single computational assumption. In this paper, we show that more rigorous security analysis is possible by using the meta-reduction under several computational assumptions. We discuss, as an example, the security analysis of ElGamal encryption using the meta-reduction under Computational Diffie-Hellman problem, Decisional Diffie-Hellman problem, and Strong Diffie-Hellman problem.
キーワード(和) 証明不可能性 / メタ帰着技法 / ElGamal暗号
キーワード(英) impossibility / meta-reduction technique / ElGamal encryption
資料番号 ISEC2008-70
発行日

研究会情報
研究会 ISEC
開催期間 2008/9/5(から1日開催)
開催地(和)
開催地(英)
テーマ(和)
テーマ(英)
委員長氏名(和)
委員長氏名(英)
副委員長氏名(和)
副委員長氏名(英)
幹事氏名(和)
幹事氏名(英)
幹事補佐氏名(和)
幹事補佐氏名(英)

講演論文情報詳細
申込み研究会 Information Security (ISEC)
本文の言語 JPN
タイトル(和) 複数の計算量仮定を組み込んだメタ帰着技法による安全性解析 : ElGamal暗号の場合
サブタイトル(和)
タイトル(英) The security analysis using meta-reduction under several computational : assumptions in the case of ElGamal encryption
サブタイトル(和)
キーワード(1)(和/英) 証明不可能性 / impossibility
キーワード(2)(和/英) メタ帰着技法 / meta-reduction technique
キーワード(3)(和/英) ElGamal暗号 / ElGamal encryption
第 1 著者 氏名(和/英) 川合 豊 / Yutaka KAWAI
第 1 著者 所属(和/英) 電気通信大学情報通信工学科
The University of Electro-Communications
第 2 著者 氏名(和/英) 太田 和夫 / Kazuo OHTA
第 2 著者 所属(和/英) 電気通信大学情報通信工学科
The University of Electro-Communications
発表年月日 2008-09-12
資料番号 ISEC2008-70
巻番号(vol) vol.108
号番号(no) 207
ページ範囲 pp.-
ページ数 8
発行日