限定並行ブラックボックス零知識証明プロトコルの一般合成
スポンサーリンク
概要
- 論文の詳細を見る
m-限定並行零知識対話証明(m-bounded concurrent zero-knowledge interactive proof)プロトコルのラウンド数の上界を考察する.我々は,先の研究において,m-限定並行自己合成(self-composition)の場合に対してPrabhakaran-Rosen-Sahaiプロトコルを用いてラウンド教の上界ω(log m)を示したが,本稿では,証明者およびシミュレータがそれぞれある妥当な条件を満たすならば,m-限定並行一般合成(general composition)の場合に対して同じ上界が存在することを示す.
- 2006-05-12
著者
関連論文
- 代数的トーラスにおける離散対数問題の困難性に関する考察
- トーラス暗号の安全性とpairing inversion問題(情報通信基礎サブソサイエティ合同研究会)
- 代数的トーラスにおける離散対数問題の困難性に関する考察
- 次世代共通鍵暗号Hierocrypt (特集 情報セキュリティ 政治・経済・文化に貢献する技術とサービス)
- ブロック暗号Hierocrypt-3 およびHierocrypt-L1 に対する強度/性能評価
- 次世代暗号HierocryptのC言語による実装
- 64ビット版Hierocryptの提案
- (入れ子型)SPN暗号の改良
- ブロック暗号Hierocryptの仕様と評価
- 入れ子型SPN構造について
- 入れ子型SPN構造について
- 入れ子型SPN構造について
- A-7-6 代数的トーラス暗号の射影表現ランダム化によるDPA対策(A-7.情報セキュリティ,一般セッション)
- トーラス暗号の安全性とpairing inversion問題(情報通信基礎サブソサイエティ合同研究会)
- トーラス暗号の安全性とpairing inversion問題(情報通信基礎サブソサイエティ合同研究会)
- 代数的トーラス上の暗号系における高速べき乗演算法
- 代数的トーラス上の暗号系 : 平方演算の高速化手法
- 代数的トーラス上の暗号系 : 安全性と効率を両立するパラメータ生成法
- 並列階層キャッシュメモリの性能評価
- 暗号プロトコルの安全性証明自動化技術 (特集 情報セキュリティ技術)
- A-7-2 タスクPIOAの統計的simulation関係(A-7.情報セキュリティ,一般講演)
- UC安全なマルチパーティの相互認証と鍵交換プロトコルに対する計算量的に健全な記号的基準(情報通信基礎サブソサイエティ合同研究会)
- UC安全なマルチパーティの相互認証と鍵交換プロトコルに対する計算量的に健全な記号的基準(情報通信基礎サブソサイエティ合同研究会)
- UC安全なマルチパーティの相互認証と鍵交換プロトコルに対する計算量的に健全な記号的基準(情報通信基礎サブソサイエティ合同研究会)
- A-7-11 代数的トーラス上の暗号系 : 安全性の評価(A-7.情報セキュリティ,一般講演)
- 有限体上の多項式環における c-secure CRT 符号の構成
- パラメータ最適化によるTardos符号の符号長短縮
- 並列階層キャッシュの性能とキャッシュ・ミスの分類
- 結託耐性符号の実用化に向けた符号長の短縮 (特集 情報セキュリティ技術)
- 符号生成確率分布および追跡アルゴリズムの改良によるTardos符号の短縮
- Tardos符号の再評価(知的生産活動における情報アクセス制御技術及び一般)
- Tardos符号の再評価(知的生産活動における情報アクセス制御技術及び一般)
- フィンガープリンティング符号の厳密なTardos下界
- 安全でコンパクトかつ高速な代数的トーラス暗号 (特集 情報セキュリティ技術)
- A-7-4 代数的トーラス上の暗号系 : 圧縮伸長コストに関する考察(A-7.情報セキュリティ,一般講演)
- 証拠識別不可能性の並行一般合成の定式化について
- 限定並行ブラックボックス零知識証明のラウンド数下界
- 限定並行ブラックボックス零知識証明プロトコルの一般合成
- 結託耐性符号のランダム誤り制御
- SA-3-3 空間領域におけるスペクトラム拡散による電子透かしの画像適応