| 電子情報通信学会 研究会発表申込システム 講演論文 詳細 |
技報閲覧サービス [ログイン] 技報アーカイブ |
| トップに戻る | 前のページに戻る | [Japanese] / [English] |
| 講演抄録／キーワード | ||
| 講演名 | 2025-03-06 11:05 CCA安全かつ公開検証可能な公開鍵暗号の効率的な構成 ○吉村昌也（電通大）・淺野京一（電通大/産総研）・岩本 貢（電通大）・渡邉洋平（電通大/産総研）  IT2024-105 ISEC2024-119 WBS2024-102 RCC2024-107 |
|
| 抄録 | （和） | 選択暗号文攻撃 (Chosen Ciphertext Attack: CCA) に対して安全な公開鍵暗号 (Public-Key Encryption: PKE) における公開検証可能性とは，復号における暗号文の一貫性の検証を公開鍵のみで検証可能な性質を指し，しきい値PKEや更新可能PKEなどの高機能暗号でも重要な性質として知られているが，多くのPKE方は公開検証可能性を持たない．公開検証可能性を（効率的に）達成するアプローチとして，Canetti--Halevi--Katz (CHK) 変換や準適応的非対話ゼロ知識証明 (Quasi-Adaptive Non-Interactive Zero-Knowledge proof: QA-NIZK) を利用した構成が知られているが．いずれも構成または安全性証明にペアリング演算が必要である．本論文では，ペアリングを用いることなく，標準モデルにおいて標準的な計算量仮定の下でCCA安全かつ公開検証可能なPKE方式を提案する. 提案する構成法は，代表的なCCA安全PKE方式であるCramer--Shoup PKEとQA-NIZKの組み合わせを基に提案されたJutla--Roy IBEに対して，CHK変換とその亜種の技法を応用することで実現される． |
| （英） | Public-key encryption (PKE) is said to be publicly verifiable if one can check the consistency of ciphertexts with only the public key. Public verifiability is critical in advanced cryptographic protocols such as threshold PKE and updatable PKE, yet many existing PKE schemes do not have the property. Previous approaches to efficiently achieve public verifiability have employed techniques like the Canetti--Halevi--Katz (CHK) transformation and constructions based on Quasi-Adaptive Non-Interactive Zero-Knowledge (QA-NIZK) proofs; however, these methods require pairing operations either in the construction or in the security proofs. In this paper, we propose a novel, pairing-free PKE scheme that is both CCA-secure and publicly verifiable in the standard model under standard computational assumptions. Our construction is realized by applying the CHK transformation and its variants to the Jutla-Roy Identity-Based Encryption (IBE) scheme, which itself is based on the combination of the Cramer-Shoup PKE and QA-NIZK techniques. | |
| キーワード | （和） | 公開鍵暗号 / CCA安全性 / 公開検証可能性 / / / / / |
| （英） | public-key encryption / CCA secure / public verifiability / / / / / | |
| 文献情報 | 信学技報, vol. 124, no. 397, ISEC2024-119, pp. 208-215, 2025年3月. | |
| 資料番号 | ISEC2024-119 | |
| 発行日 | 2025-02-26 (IT, ISEC, WBS, RCC) | |
| ISSN | Online edition: ISSN 2432-6380 | |
| 著作権に ついて |
技術研究報告に掲載された論文の著作権は電子情報通信学会に帰属します．(許諾番号：10GA0019/12GB0052/13GB0056/17GB0034/18GB0034) | |
| 査読に ついて |
本技術報告は査読を経ていない技術報告であり，推敲を加えられていずれかの場に発表されることがあります． | |
| PDFダウンロード | IT2024-105 ISEC2024-119 WBS2024-102 RCC2024-107 |
|
| 研究会情報 | |
| 研究会 | WBS ISEC IT RCC |
| 開催期間 | 2025-03-05 - 2025-03-06 |
| 開催地（和） | 大阪大学中之島センター |
| 開催地（英） | Nakanoshima Center, Osaka University |
| テーマ（和） | ISEC/IT/RCC/WBS合同研究会 |
| テーマ（英） | Joint Workshop of ISEC, IT, RCC, and WBS |
| 講演論文情報の詳細 | |
| 申込み研究会 | ISEC |
| 会議コード | 2025-03-WBS-ISEC-IT-RCC |
| 本文の言語 | 日本語 |
| タイトル（和） | CCA安全かつ公開検証可能な公開鍵暗号の効率的な構成 |
| サブタイトル（和） | |
| タイトル（英） | Efficient CCA-secure Public Key Encryption with Publicly Verifiability |
| サブタイトル（英） | |
| キーワード(1)（和/英） | 公開鍵暗号 / public-key encryption |
| キーワード(2)（和/英） | CCA安全性 / CCA secure |
| キーワード(3)（和/英） | 公開検証可能性 / public verifiability |
| キーワード(4)（和/英） | / |
| キーワード(5)（和/英） | / |
| キーワード(6)（和/英） | / |
| キーワード(7)（和/英） | / |
| キーワード(8)（和/英） | / |
| 第1著者 氏名（和/英/ヨミ） | 吉村 昌也 / Masaya Yoshimura / ヨシムラ マサヤ |
| 第1著者 所属（和/英） | 電気通信大学 (略称： 電通大) The University of Electro-Communications (略称： UEC) |
| 第2著者 氏名（和/英/ヨミ） | 淺野 京一 / Kyoichi Asano / アサノ キョウイチ |
| 第2著者 所属（和/英） | 電気通信大学/産業技術総合研究所 (略称： 電通大/産総研) The University of Electro-Communications/National Institute of Advanced Industrial Science and Technology (略称： UEC/AIST) |
| 第3著者 氏名（和/英/ヨミ） | 岩本 貢 / Mitsugu Iwamoto / イワモト ミツグ |
| 第3著者 所属（和/英） | 電気通信大学 (略称： 電通大) The University of Electro-Communications (略称： UEC) |
| 第4著者 氏名（和/英/ヨミ） | 渡邉 洋平 / Yohei Watanabe / ワタナベ ヨウヘイ |
| 第4著者 所属（和/英） | 電気通信大学/産業技術総合研究所 (略称： 電通大/産総研) The University of Electro-Communications/National Institute of Advanced Industrial Science and Technology (略称： UEC/AIST) |
| 講演者 | 第1著者 |
| 発表日時 | 2025-03-06 11:05:00 |
| 発表時間 | 25分 |
| 申込先研究会 | ISEC |
| 資料番号 | IT2024-105, ISEC2024-119, WBS2024-102, RCC2024-107 |
| 巻番号（vol） | vol.124 |
| 号番号（no） | no.396(IT), no.397(ISEC), no.398(WBS), no.399(RCC) |
| ページ範囲 | pp.208-215 |
| ページ数 | 8 |
| 発行日 | 2025-02-26 (IT, ISEC, WBS, RCC) |
[研究会発表申込システムのトップページに戻る]