[論文レビュー] GHZ correlation provides secure Anonymous Veto Protocol

Ramij Rahaman, Guruprasad Kar|arXiv (Cornell University)|Jul 2, 2015

Wireless Communication Security Techniques被引用数 7

ひとこと要約

本稿は、多粒子グリーンバーガー＝ホルン＝ツァイリング（GHZ）もつれを用いた、匿名投票（AV）および食事の泥棒問題（DC）の安全な量子プロトコルを提案する。GHZ状態の非局所的相関と局所実在論の破れを活用することで、事前共有鍵を必要とせず、無条件に安全な匿名メッセージ送信が可能となり、DCバージョンでは複数の支払いを検出可能であり、拒否者（vetoer）の身元は隠蔽されたまま、拒否数のみが明らかにされる。

ABSTRACT

Anonymous Veto (AV) and Dining cryptographers (DC) are two basic primitives for the cryptographic problems where the main aim is to hide the identity of the senders of the messages. These can be achieved by classical methods where the security is based either on computational hardness or on shared private keys. In this regard, we present a secure quantum protocol for both DC and AV by exploiting the GHZ correlations. We first solve a generalized version of the DC problem with the help of multiparty GHZ state. This allow us to provide a secure quantum protocol for the AV. Securities for both the protocols rely on some novel and fundamental features of GHZ correlations related to quantum nonlocality.

研究の動機と目的

• 古典的匿名通信プロトコルが計算の困難性や事前共有鍵に依存しており、共謀や複数支払い攻撃に対して脆弱であるという限界を是正すること。
• 量子非局所性を用いて、計算的仮定に依存せず、事前共有鍵を必要としない、匿名投票（AV）および食事の泥棒問題（DC）の無条件に安全な量子ソリューションを開発すること。
• 多量子ビットGHZ状態を用いて、3人以上の参加者を想定したn人参加のDC問題に一般化し、3人場合に複数支払いを検出可能とする。
• 局所実在論の不等式の破れに基づくGHZ状態の真正性検証を用いて、安全性を厳密に保証すること。
• 拒否者（vetoer）の身元が露呈されず、拒否数のみが明らかにされることで、完全な匿名性が維持されることを示すこと。

提案手法

• 奇数nに対してn量子ビットGHZ状態 |Ψₙ⟩ = (|00…0⟩ - |11…1⟩)/√2 を使用し、偶数nの場合は1人の参加者が2量子ビットを保持するように変更したバージョンを用いる。
• 各参加者は、自らのプライベートな意思（例：支払い or 拒否）に応じて、パウリ演算子σₓおよびσᵧを用いて局所的な測定またはユニタリ操作を実行する。
• 真正性検証は、ランダムに選択された実行回路において、GHZパラドックスに対応する観測量Oᵢを測定し、測定結果の積が期待される固有値（±1）と一致することを検証することで実施する。
• プロトコルは、真のGHZ状態のみが局所実在論の不等式 |⟨∑ᵢ₌₁ⁿ Oᵢ − O₀⟩| ≤ n−1 を破ることができ、|Ψₙ⟩では最大でn+1の破れを示すという事実に依存している。
• AVプロトコルでは、各投票者が拒否を行う場合にユニタリ操作を適用し、最終的な結果として拒否数のみが明らかにされるが、個々の投票者の身元は明らかにされない。
• GHZ相関の非局所的性質と、局所的隠れ変数モデルが観測統計を再現できないという事実により、共謀や複数支払い攻撃に対して安全である。

実験結果

リサーチクエスチョン

• RQ1 GHZもつれを用いて、複数支払いを検出可能な、無条件に安全な食事の泥棒問題のプロトコルを構築できるか？
• RQ2 計算的仮定や事前共有鍵に依存せず、量子非局所性を用いて匿名投票問題をどのように解決できるか？
• RQ3 GHZ状態の真正性が、マルチパーティ量子プロトコルにおける盗聴や不正行為に対する安全性を保証する役割を果たす仕組みは何か？
• RQ4 n人参加のDC問題をGHZ状態を用いて一般化できるか。その場合、すべての参加者が安全かつ匿名のままでいられるか？
• RQ5 GHZ状態における局所実在論の破れが、安全で痕跡のない匿名通信メカニズムをどのように実現できるか？

主な発見

• プロトコルは、GHZパラドックスを活用することで、3人参加のDC問題において複数支払いを検出可能であり、これは古典的プロトコルには欠けている特徴である。
• 匿名投票問題において、プロトコルは拒否者の身元を露呈せず、拒否数のみを明らかにすることで完全な匿名性を実現する。
• プロトコルの安全性は、局所実在論の不等式に対する最大の量子的破れに依存しており、これは真のn量子ビットGHZ状態でのみ達成可能である。
• GHZ状態の真正性検証は、測定設定をランダムにサンプリングし、測定結果の積が期待される固有値と一致することを検証することで実施され、これにより古典的シミュレーションでは相関を再現できないことが保証される。
• プロトコルは、ペアワイズの共有鍵や認証済みチャネルを必要とせず、量子非局所性にのみ依存することで、無条件の安全性を達成する。
• 共謀に対しても強固であり、参加者グループが拒否者の身元を特定できないのは、相関の非局所的性質に起因する。