[論文レビュー] Dining Cryptographers are Practical

Christian Franck, Jeroen van de Graaf|arXiv (Cornell University)|Feb 10, 2014

Cryptography and Data Security参考文献 8被引用数 3

ひとこと要約

本稿は、Pedersenコミットメントとゼロ知識証明を用いて、無条件に安全な匿名通信における効率的で検証可能な衝突解決を可能にする、実用的なダイニング・クラークスプロトコルの拡張を提案する。参加者を秘密鍵に束縛し、計算的に制限された破壊者を暗号的証明を通じて検出可能にする。この方式により、事前の予約フェーズを必要とせず最適なスループットを達成し、実用性を著しく向上させつつ、送信者および受信者の無条件の追跡不能性を維持する。

ABSTRACT

The dining cryptographers protocol provides information-theoretically secure sender and recipient untraceability. However, the protocol is considered to be impractical because a malicious participant may disrupt the communication. We propose an implementation which provides information-theoretical security for senders and recipients, and in which a disruptor with limited computational capabilities can easily be detected.

研究の動機と目的

• 悪意ある参加者が通信を妨害する場合に検出が困難であるという、元来のダイニング・クラークスプロトコルの非現実的さを是正すること。
• 情報理論的に安全なプロトコルにおいて、計算的に制限された破壊者を、無条件の匿名性を損なわず効率的に検出できること。
• 予約フェーズを必要とせず、最適なスループットを達成する衝突解決メカニズムの設計。
• メッセージの再送信が、送信者アイデンティティを露呈せずに検証可能であるように、暗号的証明をプロトコルに統合すること。
• 電子投票や低レイテンシーメッセージングなどの実世界の応用に、無条件に安全な匿名通信を実現可能にする。

提案手法

• 参加者を秘密鍵に計算的に束縛するPedersenコミットメントを用い、不正な行動の有無を暗号的に検出可能にする。
• 参加者が木構造に基づく衝突解決プロトコルで正しくメッセージを再送していることを、ゼロ知識証明を用いて検証する。送信者アイデンティティは露呈しない。
• 各衝突を2つの部分に分割する二分木構造を用いて、検証可能な重ね合わせ受信を構築し、正しい再送信が適切な枝で行われることを暗号的文言で保証する。
• Pedersenコミットメントの準同型性を活用し、複数回の再送信にわたるメッセージの一貫性を検証し、不正を示す一貫性の欠如を検出可能にする。
• 信頼できる調査官がゼロ知識証明を収集・検証し、必要最小限の状況でのみ不正の証拠を公開することで、プライバシーを維持する。
• 複数の生成子を用いたベクトルコミットメントへの拡張により、長大なメッセージを安全にコミット可能にする。

実験結果

リサーチクエスチョン

• RQ1 無条件の送信者および受信者追跡不能性を保ちながら、実用的であるダイニング・クラークスプロトコルを構築できるか？
• RQ2 情報理論的に安全なプロトコルにおいて、計算的に制限された破壊者を効率的に検出する方法は何か？
• RQ3 予約フェーズを必要とせず、最適な衝突解決スループットを達成することは可能か？
• RQ4 ゼロ知識証明を用いて、匿名性を損なわずメッセージ再送を検証可能にできるか？
• RQ5 長期的なプロトコルセキュリティと破壊者検出を支援するように、鍵共有を安全に確立する方法は何か？

主な発見

• 提案された方式により、事前の予約フェーズを不要とする検証可能な衝突解決が可能になり、最適なスループットが達成される。
• 通信を妨害する悪意ある参加者は、正しくメッセージを再送しているかを検証するゼロ知識証明を通じて検出可能である。
• Pedersenコミットメントの使用により、秘密鍵への計算的束縛が可能となり、送信者アイデンティティを露呈せずに不正の検出が可能になる。
• 信頼できる調査官がゼロ知識証明の検証を通じて、効率的に破壊者を特定・隔離でき、繰り返しの確率的再送の必要性が減少する。
• 複数の生成子を用いたベクトルコミットメントにより、長大なメッセージのサポートが可能になり、セキュリティと効率性が維持される。
• 無条件の匿名性を維持しながら、計算的に制限された破壊者の実用的検出が可能となり、追跡不能な通信システムの実用化に大きな一歩を踏み出す。