[論文レビュー] Secure positioning and non-local correlations

Muhammad Nadeem|arXiv (Cornell University)|Jun 11, 2014

Quantum Information and Cryptography参考文献 38被引用数 7

ひとこと要約

本論文は、エンタングルド粒子の測定によって生成される非局所的量子相関を用いた、事前共有秘密を必要としない新しいセキュアな位置検証プロトコルを提案する。この方式により、検証者はプローバーの位置を確認できるが、事前共有秘密は不要である。この方式は、既知の量子攻撃（特に即時非局所的計算を用いた攻撃）に対しても安全であり、n組のエンタングルド状態を用いることで、不正なプローバーを高い確率で検出可能である。

ABSTRACT

Recently, the problem of secure position-verification has been extensively analyzed in a formal notion where distant verifiers send encrypted challenge along with the decryption information to the prover. However, currently it is known that all the existing position-verification scheme are insecure and secure positioning is impossible. We propose here a different notion for position-verification where distant verifiers determine the actions of the prover through non-local correlations generated by local measurements at the provers site. The proposed scheme guarantees secure positioning even if the verifiers do not have any pre-shared data with the prover, position is the only credential of the prover. Our proposed scheme is secure in general and evades known quantum attacks based on instantaneous non-local computations in particular. The scheme enables verifiers to identify dishonest provers with very high probability , where n is the number of entangled pairs used.

研究の動機と目的

• 検証者とプローバーの間で事前共有データに依存する既存の位置検証方式の根本的な不安全性を解消すること。
• 位置が唯一の資格証明である位置検証モデルを構築し、共有秘密への依存を排除すること。
• 特に即時非局所的計算を活用する攻撃を含む、量子攻撃に対して安全性を確保すること。
• エンタングルメントに基づく相関を利用して、検証者が不正なプローバーを高い確率で検出できることを実現すること。

提案手法

• 検証者はエンタングルド量子状態を準備し、プローバーに配布する。プローバーは局所的な測定を実行し、非局所的相関を生成する。
• 検証者は観測された測定統計を用いて、プローバーが提示した位置に所在していることを、非局所的相関の強度に基づいて検証する。
• プローバーによるスプーフィングを防ぐために、エンタングルメントの卾的性とノーサイニング原理に依存する。
• この方式では、異なる位置から必要な相関を模倣しようとすると、相関の非局所的性質により失敗するよう設計されている。
• n組のベル状態のエンタングルドペアを用いることで、不正なプローバーの検出確率を高められる。
• 検証プロセスは相関結果の統計的検定に基づいており、不正行為の検出確率を高めている。

実験結果

リサーチクエスチョン

• RQ1 検証者とプローバーの間で事前共有データを一切必要としない、セキュアな位置検証が可能か？
• RQ2 非局所的量子相関は、どのように位置ベースの認証を強制できるか？
• RQ3 即時非局所的量子攻撃に対して安全な位置検証プロトコルを構築することは可能か？
• RQ4 エンタングルドペアの数と不正なプローバーの検出確率との関係は何か？
• RQ5 ノーサイニング原理とエンタングルメントの顕著性は、位置検証を強制するために活用可能か？

主な発見

• 提案された方式は、検証者とプローバーの間で事前共有データを一切必要とせず、セキュアな位置検証を実現した。
• 即時非局所的計算に基づく攻撃を含む、既知の量子攻撃に対しても安全である。
• 使用するエンタングルドペアの数が増えるほど、不正なプローバーの検出確率が上昇し、nが増加するにつれて確実性に近づく。
• エンタングルド状態の局所的測定によって生成される非局所的相関は、高い信頼性で位置を検証するために十分である。
• この方式は、エンタングルメントの顕著性とノーサイニング原理といった、基本的な量子力学的原理を活用してセキュリティを強化している。
• プローバーが外部の当事者とエンタングルメントを共有できない限り、一般の敵対的モデルに対しても強固である。