| 講演名 | 2010-11-17 Generic Modelにおける困難性仮定への攻撃の数式処理を用いた導出(情報セキュリティ,ライフログ活用技術,ライフインテリジェンス,オフィス情報システム,一般) 雲嶋 健太, 吉田 真紀, 阿部 正幸, 大久保 美也子, 藤原 融, |
|---|---|
| PDFダウンロードページ |  PDFダウンロードページへ |
| 抄録(和) | 暗号的な困難性仮定の妥当性を,基とする数学的構造を理想化した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 |
| 資料番号 | ISEC2010-58,LOIS2010-37 |
| 発行日 |
| 研究会情報 | |
| 研究会 | ISEC |
|---|---|
| 開催期間 | 2010/11/10(から1日開催) |
| 開催地（和） | |
| 開催地（英） | |
| テーマ（和） | |
| テーマ（英） | |
| 委員長氏名（和） | |
| 委員長氏名（英） | |
| 副委員長氏名（和） | |
| 副委員長氏名（英） | |
| 幹事氏名（和） | |
| 幹事氏名（英） | |
| 幹事補佐氏名（和） | |
| 幹事補佐氏名（英） | |
| 講演論文情報詳細 | |
| 申込み研究会 | Information Security (ISEC) |
|---|---|
| 本文の言語 | JPN |
| タイトル（和） | 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 |
| 第 1 著者 氏名（和/英） | 雲嶋 健太 / Kenta KUMOJIMA |
| 第 1 著者 所属（和/英） | 大阪大学大学院情報科学研究科 Graduate School of Information Science and Technology, Osaka University |
| 第 2 著者 氏名（和/英） | 吉田 真紀 / Maki YOSHIDA |
| 第 2 著者 所属（和/英） | 大阪大学大学院情報科学研究科 Graduate School of Information Science and Technology, Osaka University |
| 第 3 著者 氏名（和/英） | 阿部 正幸 / Masayuki ABE |
| 第 3 著者 所属（和/英） | NTT情報流通プラットフォーム研究所 NTT Information Sharing Platform Laboratories |
| 第 4 著者 氏名（和/英） | 大久保 美也子 / Miyako OHKUBO |
| 第 4 著者 所属（和/英） | NICT情報通信セキュリティ研究センタ NICT Information Security Research Center |
| 第 5 著者 氏名（和/英） | 藤原 融 / Toru FUJIWARA |
| 第 5 著者 所属（和/英） | 大阪大学大学院情報科学研究科 Graduate School of Information Science and Technology, Osaka University |
| 発表年月日 | 2010-11-17 |
| 資料番号 | ISEC2010-58,LOIS2010-37 |
| 巻番号（vol） | vol.110 |
| 号番号（no） | 281 |
| ページ範囲 | pp.- |
| ページ数 | 8 |
| 発行日 | |