| 講演名 | 2019-03-08 群依存バンドル言語に対する非対話証明システム 穴田 啓晃(長崎県立大), |
|---|---|
| PDFダウンロードページ |  PDFダウンロードページへ |
| 抄録(和) | 本技報では，群依存言語の直積のバンドル言語を提案する．次いで，バンドル言語に対する非対話証明システムを構成する．構成は Groth-Sahai: ``Efficient Non-interactive Proof Systems for Bilinear Groups''（EUROCRYPT 2008）及びEscala-Groth: ``Fine-Tuning Groth-Sahai Proofs''（PKC 2014）に基づく． |
| 抄録(英) | In this report, we propose a bundled language for the direct product of group-dependent languages. Then we construct a non-interactive proof system for the group-dependent bundled language. The construction is based on Groth-Sahai: ``Efficient Non-interactive Proof Systems for Bilinear Groups'' (EUROCRYPT2008) and Escala-Groth: ``Fine-Tuning Groth-Sahai Proofs'' (PKC2014). |
| キーワード(和) | 証明システム / 非対話 / 群依存言語 / 匿名性 / 結託耐性 |
| キーワード(英) | proof system / non-interactive / group-dependent language / anonymity / collusion-resistance |
| 資料番号 | IT2018-114,ISEC2018-120,WBS2018-115 |
| 発行日 | 2019-02-28 (IT, ISEC, WBS) |
| 研究会情報 | |
| 研究会 | IT / ISEC / WBS |
|---|---|
| 開催期間 | 2019/3/7(から2日開催) |
| 開催地（和） | 電気通信大学 |
| 開催地（英） | University of Electro-Communications |
| テーマ（和） | IT・ISEC・WBS合同研究会 |
| テーマ（英） | joint meeting of IT, ISEC, and WBS |
| 委員長氏名（和） | 村松 純(NTT) / 藤岡 淳(神奈川大) / 岡田 実(奈良先端大) |
| 委員長氏名（英） | Jun Muramatsu(NTT) / Atsushi Fujioka(Kanagawa Univ.) / Minoru Okada(NAIST) |
| 副委員長氏名（和） | 和田山 正(名工大) / 盛合 志帆(NICT) / 廣瀬 勝一(福井大) / 大内 浩司(静岡大) / 滝沢 賢一(NICT) |
| 副委員長氏名（英） | Tadashi Wadayama(Nagoya Inst. of Tech.) / Shiho Moriai(NICT) / Shoichi Hirose(Univ. of Fukui) / Koji Ohuchi(Shizuoka Univ.) / Kenichi Takizawa(NICT) |
| 幹事氏名（和） | 太田 隆博(長野県工科短大) / 八木 秀樹(電通大) / 大東 俊博(東海大) / 江村 恵太(NICT) / 小澤 佑介(茨城大) / 中村 聡(東京理科大) |
| 幹事氏名（英） | Takahiro Ohta(Nagano Pref Inst. of Tech.) / Hideki Yagi(UEC) / Toshihiro Ohigashi(Tokai Univ.) / Keita Emura(NICT) / Yusuke Kozawa(Ibaraki Univ.) / Akira Nakamura(Tokyo Univ. of Science) |
| 幹事補佐氏名（和） | 吉田 隆弘(横浜商科大) / 面 和成(筑波大) / 須賀 祐治(インターネットイニシアティブ) / 中村 僚兵(防衛大) / Duong Quang Thang(奈良先端大) |
| 幹事補佐氏名（英） | Takahiro Yoshida(Yokohama College of Commerce) / Kazunari Omote(Tsukuba Univ.) / Yuuji Suga(IIJ) / Ryohei Nakamura(National Defense Academy) / Duong Quang Thang(NAIST) |
| 講演論文情報詳細 | |
| 申込み研究会 | Technical Committee on Information Theory / Technical Committee on Information Security / Technical Committee on Wideband System |
|---|---|
| 本文の言語 | JPN |
| タイトル（和） | 群依存バンドル言語に対する非対話証明システム |
| サブタイトル（和） | |
| タイトル（英） | Non-interactive Proof Systems for Group-Dependent Bundled Languages |
| サブタイトル（和） | |
| キーワード(1)（和/英） | 証明システム / proof system |
| キーワード(2)（和/英） | 非対話 / non-interactive |
| キーワード(3)（和/英） | 群依存言語 / group-dependent language |
| キーワード(4)（和/英） | 匿名性 / anonymity |
| キーワード(5)（和/英） | 結託耐性 / collusion-resistance |
| 第 1 著者 氏名（和/英） | 穴田 啓晃 / Hiroaki Anada |
| 第 1 著者 所属（和/英） | 長崎県立大学(略称：長崎県立大) University of Nagasaki(略称：Univ. of Nagasaki) |
| 発表年月日 | 2019-03-08 |
| 資料番号 | IT2018-114,ISEC2018-120,WBS2018-115 |
| 巻番号（vol） | vol.118 |
| 号番号（no） | IT-477,ISEC-478,WBS-479 |
| ページ範囲 | pp.243-248(IT), pp.243-248(ISEC), pp.243-248(WBS), |
| ページ数 | 6 |
| 発行日 | 2019-02-28 (IT, ISEC, WBS) |