| 電子情報通信学会 研究会発表申込システム 講演論文 詳細 |
技報閲覧サービス [ログイン] 技報アーカイブ |
| トップに戻る | 前のページに戻る | [Japanese] / [English] |
| 講演抄録／キーワード | ||
| 講演名 | 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 |
|
| 研究会情報 | |
| 研究会 | ISEC LOIS |
| 開催期間 | 2010-11-17 - 2010-11-18 |
| 開催地（和） | 筑波大学 |
| 開催地（英） | Tsukuba Univ. |
| テーマ（和） | 情報セキュリティ，ライフログ活用技術，ライフインテリジェンス，オフィス情報システム，一般 |
| テーマ（英） | |
| 講演論文情報の詳細 | |
| 申込み研究会 | ISEC |
| 会議コード | 2010-11-ISEC-LOIS |
| 本文の言語 | 日本語 |
| タイトル（和） | Generic Modelにおける困難性仮定への攻撃の数式処理を用いた導出 |
| サブタイトル（和） | |
| タイトル（英） | Attack Derivation for cryptographic assumptions in the generic model with a computer algebra system |
| サブタイトル（英） | |
| キーワード(1)（和/英） | 困難性仮定 / Cryptographic assumptions |
| キーワード(2)（和/英） | Generic Model / generic model |
| キーワード(3)（和/英） | 攻撃の導出 / attack derivation |
| キーワード(4)（和/英） | 数式処理 / computer algebra system |
| キーワード(5)（和/英） | / |
| キーワード(6)（和/英） | / |
| キーワード(7)（和/英） | / |
| キーワード(8)（和/英） | / |
| 第1著者 氏名（和/英/ヨミ） | 雲嶋 健太 / Kenta Kumojima / クモジマ ケンタ |
| 第1著者 所属（和/英） | 大阪大学 (略称： 阪大) Osaka University (略称： Osaka Univ.) |
| 第2著者 氏名（和/英/ヨミ） | 吉田 真紀 / Maki Yoshida / ヨシダ マキ |
| 第2著者 所属（和/英） | 大阪大学 (略称： 阪大) Osaka University (略称： Osaka Univ.) |
| 第3著者 氏名（和/英/ヨミ） | 阿部 正幸 / Masayuki Abe / アベ マサユキ |
| 第3著者 所属（和/英） | NTT 情報流通プラットフォーム研究所 (略称： NTT) NTT Information Sharing Platform Laboratories (略称： NTT) |
| 第4著者 氏名（和/英/ヨミ） | 大久保 美也子 / Miyako Ohkubo / オオクボ ミヤコ |
| 第4著者 所属（和/英） | NICT 情報通信セキュリティ研究センタ (略称： NICT) NICT Information Security Research Center (略称： NICT) |
| 第5著者 氏名（和/英/ヨミ） | 藤原 融 / Toru Fujiwara / フジワラ トオル |
| 第5著者 所属（和/英） | 大阪大学 (略称： 阪大) Osaka University (略称： Osaka Univ.) |
| 講演者 | 第1著者 |
| 発表日時 | 2010-11-17 16:55:00 |
| 発表時間 | 25分 |
| 申込先研究会 | ISEC |
| 資料番号 | ISEC2010-58, LOIS2010-37 |
| 巻番号（vol） | vol.110 |
| 号番号（no） | no.281(ISEC), no.282(LOIS) |
| ページ範囲 | pp.57-64 |
| ページ数 | 8 |
| 発行日 | 2010-11-10 (ISEC, LOIS) |
[研究会発表申込システムのトップページに戻る] (日本語ページの行間係数: 1)