Camenisch-Lysyanskaya署名ベース同期集約署名方式のための改良型セキュリティ証明【JST・京大機械翻訳】

Tezuka Masayuki; Tanaka Keisuke

プレプリント

J-GLOBAL ID：202202217711986859 整理番号：22P0292420

Camenisch-Lysyanskaya署名ベース同期集約署名方式のための改良型セキュリティ証明【JST・京大機械翻訳】

Improved Security Proof for the Camenisch-Lysyanskaya Signature-Based Synchronized Aggregate Signature Scheme

出版者サイト {{ this.onShowPLink() }} 複写サービスで全文入手
高度な検索・分析はJDreamⅢで

この文献はプレプリントです。プレプリントについてはこちらをご確認ください。

著者 (2件)： ,
資料名：
発行年： 2022年02月20日プレプリントサーバーでの情報更新日： 2023年03月15日
JST資料番号： O7000B 資料種別：プレプリント
記事区分：プレプリント発行国：アメリカ合衆国 (USA) 言語：英語 (EN)

※このプレプリント論文は学術誌に掲載済みです。なお、学術誌掲載の際には一部内容が変更されている可能性があります。

CRYPTO 2004におけるCamenisch-Lysyanskaya署名方式は,匿名証明書,グループ署名またはリング署名のようなプライバシー保護方式を構築するための有用なビルディングブロックである。しかし,この署名方式のセキュリティは,LRSW仮定と呼ばれる対話型仮定に依存する。対話型仮定が一般グループモデルまたは双線形グループモデルで証明されているとしても,これらの仮定に関する懸念は暗号コミュニティにおいて生じる。この事実は,セキュリティがこれらの仮定に依存する暗号方式の使用に対する障壁を引き起こした。最近,PointchevalとSanderは,CT-RSA2018における修正Camenisch-Lysyanskaya署名方式を提案した。このスキームは,修正q-Strong Diffie-Hellman-2(q-MSDH-2)仮定と呼ばれる新しいq型仮定の下で,EUF-CMAセキュリティを満たす。しかし,q型仮定のサイズは動的に成長し,この事実はスキームの非効率をもたらす。本研究では,FC2013におけるCamenisch-Lysyanskaya署名ベース同期集約署名方式を再調査した。この方式は,双線形グループを有する最も効率的な同期集合署名方式の1つである。しかし,ランダムオラクルモデルにおける1回LRSW仮定の下で,この同期凝集体スキームのセキュリティを証明した。著者らは,効率の損失がほとんどないランダムオラクルモデルにおける1-MSDH-2(静的)仮定の下で,この同期凝集体方式のための新しいセキュリティ証明を与えた。【JST・京大機械翻訳】

, , , , , , , ,
, , , , , , , , , 【Automatic Indexing@JST】

符号理論 , データ保護

, , ,

前のページに戻る