効率よく検証可能な知識のゼロ知識証明
スポンサーリンク
概要
- 論文の詳細を見る
本論文では, 通信量及び検証者の記憶領域と計算量を, 知識の量に比べて非常に小さくできる知識のゼロ知識対話証明を提案する.このようなプロトコルは, 通常のブラックボックスシミュレーションでは構成することが非常に困難と思われる.Dangardは文献[4]でDiffie-Hellman仮定に関係したある非標準的計算量仮定を導入したが, 羽田と田中は文献[8]で, その仮定を用いた非ブラックボックスシミュレーションの三交信のゼロ知識証明を提案した.(最近BellareとPalacioは, 別の非標準的計算量仮定を導入することで証明を修正した[2]).本論文では, 文献[2], [4], [8]に現れる仮定に類似する非標準的計算量仮定を導入することで, 上記の効率の良い性質を持つ, 弱い仮定に基づく五交信のプロトコルと, 強い仮定に基づく三交信のプロトコルを提示する.提案プロトコルの健全性とゼロ知識性は, 非ブラックボックス的手法によって証明される.
- 一般社団法人情報処理学会の論文
- 2005-07-21
著者
関連論文
- 対話証明のバッチ実行
- ElGama暗号を用いた秘密回路計算について
- ElGama暗号を用いた秘密回路計算について
- C-3-36 Risley光偏向器を用いたフリースペース型光スイッチモジュール(第二報)(C-3. 光エレクトロニクス(光スイッチ), エレクトロニクス1)
- Risley光偏向器を用いた大規模光スイッチ(光・電子デバイス実装、及びデバイス技術,一般)
- Risley光偏向器を用いた大規模光スイッチ(光・電子デバイス実装、及びデバイス技術,一般)
- Risley光偏向器を用いた大規模光スイッチ(光・電子デバイス実装、及びデバイス技術,一般)
- Risley光偏向器を用いた大規模光スイッチ(光・電子デバイス実装、及びデバイス技術,一般)
- C-3-57 Risley光偏向器を用いたフリースペース型光スイッチモジュール(光モジュール)(C-3.光エレクトロニクス)
- 頑健で暗号文の長さが不変なHybrid Mix
- 楕円曲線暗号とその高速化(インダストリアルマテリアルズ)
- インダストリアルマテリアルズ 楕円曲線暗号とその高速化
- MEMS光スイッチモジュール(光部品・電子デバイス実装技術, 一般)
- MEMS光スイッチモジュール(光部品・電子デバイス実装技術, 一般)
- MEMS光スイッチモジュール(光部品・電子デバイス実装技術, 一般)
- MEMS光スイッチモジュール(光部品・電子デバイス実装技術, 一般)
- C-3-127 100 入力 100 出力, 3-D MEMS 光スイッチモジュール
- 3-D MEMS大規模光スイッチ
- C-3-133 3-D MEMS 光スイッチ向け二次元光コリメータアレイ
- 対話証明のバッチ実行
- 対話証明のバッチ実行
- 準同型暗号を用いた第M+1価格入札方式
- 効率よく検証可能な知識のゼロ知識証明
- 効率よく検証可能な知識のゼロ知識証明
- Mix-netにおける匿名性取り消しに関するセキュリティ考察(モバイル環境におけるPerson to person高信頼性情報流通技術)(情報通信サブソサイエティ合同研究会)
- Mix-netにおける匿名性取り消しに関するセキュリティ考察(モバイル環境におけるPerson to person高信頼性情報流通技術 : 情報通信サブソサイエティ合同研究会)
- Mix-netにおける匿名性取り消しに関するセキュリティ考察(モバイル環境におけるPerson to person高信頼性情報流通技術)(情報通信サブソサイエティ合同研究会)
- Mix-netにおける匿名性取り消しに関するセキュリティ考察(モバイル環境におけるPerson to person高信頼性情報流通技術)(情報通信サブソサイエティ合同研究会)
- 国際会議報告CRYPTO 2001
- 匿名署名とBatch Verificationに関する考察
- EUROCRYPT'99報告
- Permutation Networkを利用したMix-net
- デジタル署名標準・メッセージ回復型エルガマル署名に対する部分ブラインドプロトコルの設計と解析
- 電子投票に対する情報セキュリティからのアプローチ
- Generic Modelにおける困難性仮定への攻撃の数式処理を用いた導出(情報セキュリティ,ライフログ活用技術,ライフインテリジェンス,オフィス情報システム,一般)
- Generic Modelにおける困難性仮定への攻撃の数式処理を用いた導出 (ライフインテリジェンスとオフィス情報システム)
- Generic Modelにおける困難性仮定への攻撃の数式処理を用いた導出 (情報セキュリティ)
- Generic Modelにおける困難性仮定への攻撃の数式処理を用いた導出(情報セキュリティ,ライフログ活用技術,ライフインテリジェンス,オフィス情報システム,一般)
- 署名者数確認機能付きしきい値署名
- 署名者数確認機能付きしきい値署名
- 署名者数確認機能付きしきい値署名
- 3.選択暗号文攻撃安全な公開鍵暗号の構成法について(暗号技術の証明可能安全性)
- 閾値を持つ実用的なRSAのキーリカバリー方式
- 公開検証可RSA型鍵分散方式
- CRYPTO'97国際会議報告
- あるタイプの公開鍵暗号変換方式とその関連問題の考察
- あるタイプの公開鍵暗号変換方式とその関連問題の考察
- 無制限に鍵更新可能な離散対数問題に基づいたForward-Secure署名方式
- 無制限に鍵更新可能な離散対数問題に基づいたForward-Secure署名方式
- 二次元PANDAファイバアレーの試作
- 2次元ファイバアレイの試作
- 研磨によるPANDAファイバ端面の欠陥発生
- IDベース暗号における受信者主導型秘密鍵管理方式(認証基盤,インターネット技術とその応用論文)
- 非対称双線形写像群における最小の群構造維持署名
- IDベース暗号における受信者主導型秘密鍵管理方式
- C-3-68 自己相関関数を用いたIn-band OSNRモニタの提案(C-3.光エレクトロニクス)
- C-5-10 MEMS型空間光学系光スイッチの耐振動信頼性に関する検討(C-5.機構デバイス)