Non-Programmable Random Oracleモデル上で安全性証明可能なFiat-Shamir型署名

• Item type: Symposium(1)
• 公開日: 2015-10-14
• タイトル: Non-Programmable Random Oracleモデル上で安全性証明可能なFiat-Shamir型署名
• タイトル / 言語: en
• タイトル: A Provably Secure Fiat-Shamir-Type Signature in the Non-Programmable Random Oracle Model
• 言語: jpn
• キーワード / 主題Scheme: Other
• キーワード / 主題: CSS，署名，安全性証明
• 資源タイプ / 資源タイプ識別子: http://purl.org/coar/resource_type/c_5794
• 資源タイプ: conference paper
• 著者所属: 北海道情報大学
• 著者所属: 東北大学
• 著者所属(英): en
• 著者所属(英): Hokkaido Information University
• 著者所属(英): en
• 著者所属(英): Tohoku University
• 著者名: 福光, 正幸; 長谷川, 真吾
• 著者名(英): Masayuki, Fukumitsu; Shingo, Hasegawa
• 論文抄録 / 内容記述タイプ: Other
• 論文抄録 / 内容記述: Paillier，Vergnaud は，Schnorr 署名など特定の Fiat-Shamir 型署名 （Fiat-Shamir 変換によって得られる署名方式の総称） に対して， 標準モデル上での安全性証明が困難であること， およびこれらが tight secure でないことを表す状況証拠を示した． さらに， 標準モデルと Random Oracle モデルの中間モデルとして知られている NPROM (Non-Programmable Random Oracle Model) 上においても， Fischlin， Fleischhacker が安全性証明の困難性を示している． 本稿では， Catalano，Visconti により提案された Dual-Mode Commitment を用いて，Fiat-Shamir 変換を改良し，DDH 仮定の下でかつ NPROM 上で tight secure な署名方式を構成する．
• 論文抄録(英) / 内容記述タイプ: Other
• 論文抄録(英) / 内容記述: Paillier and Vergnaud showed the impossibility of proving the security of the Fiat-Shamir(FS) type signatures in the random oracle model. Fischlin and Fleischhacker showed the similar results in the non-programmable random oracle model (NPROM). In this paper, we construct an enhanced variant of the FS transformation, and propose a signatures which can be proven to be tightly secure in the NPROM by adopting the new transformation. To construct our transformation, we employ the dual-mode commitment which is introduced by Catalano and Visconti. Our signature is based on the signature given by Katz and Wang (KW signature). By applying the new transformation to the ID scheme corresponding to the KW signature, we obtains a tightly secure signature from the DDH assumption in the NPROM.
• 書誌情報: コンピュータセキュリティシンポジウム2015論文集; 巻 2015, 号 3, p. 584-591, 発行日 2015-10-14
• 出版者 / 言語: ja
• 出版者: 情報処理学会