Algebraic Group ModelにおけるFiat-Shamir変換

• Item type: Symposium(1)
• 公開日: 2021-10-19
• タイトル: Algebraic Group ModelにおけるFiat-Shamir変換
• タイトル / 言語: en
• タイトル: Fiat-Shamir Transform in Algebraic Group Model
• 言語: jpn
• キーワード / 主題Scheme: Other
• キーワード / 主題: Fiat-Shamir変換，Algebraic Group Model，Provable Security
• 資源タイプ / 資源タイプ識別子: http://purl.org/coar/resource_type/c_5794
• 資源タイプ: conference paper
• 著者所属: 北海道情報大学情報メディア学部
• 著者所属: 東北大学データ駆動科学・AI 教育研究センター
• 著者所属(英): en
• 著者所属(英): Faculty of Information Media, Hokkaido Information University
• 著者所属(英): en
• 著者所属(英): Center for Data-driven Science and Artificial Intelligence, Tohoku University
• 著者名: 福光, 正幸; 長谷川, 真吾
• 著者名(英): Masayuki, Fukumitsu; Shingo, Hasegawa
• 論文抄録 / 内容記述タイプ: Other
• 論文抄録 / 内容記述: Fiat-Shamir 型署名の安全性証明については多くの研究がなされているが，ランダムオラクルモデルにおける証明では, 帰着効率を tight にできないことが知られている．しかしながら, 代表的な Fiat-Shamir 型証明である Schnorr 署名について，Fuchsbauer, Plouviez, Seurin は攻撃アルゴリズムが Algebraic な場合に，上記の不可能性を突破し，tight な安全性証明を構築できることを示した．本稿では, 彼らの結果が一般の Fiat-Shamir 型署名においても成立することを示す．
• 論文抄録(英) / 内容記述タイプ: Other
• 論文抄録(英) / 内容記述: There exist many results on the provable security of the Fiat-Shamir (FS)-type signatures. Especially, it is known that the tight security proof for the FS-type signatures cannot be achieved in the random oracle model. However, Fuchsbauer, Plouviez, Seurin overcame the barrier and constructed the tight security proof when the adversary algebraic. In this paper, we aim to generalize their results.
• 書誌情報: コンピュータセキュリティシンポジウム2021論文集; p. 763-770, 発行日 2021-10-19
• 出版者 / 言語: ja
• 出版者: 情報処理学会