[論文レビュー] Attacks on semi-device independent quantum protocols

Elsa Passaro, Rodrigo Gallego+1 more|arXiv (Cornell University)|Jan 1, 2014

Quantum Information and Cryptography参考文献 3被引用数 2

ひとこと要約

この論文は、量子デバイスの次元のみを仮定する半デバイスインディペンデントな量子プロトコルにおける脆弱性を調査し、検出非効率性がプロトコルの結果を偽装するためにどのように悪用されるかを分析している。ランダムアクセスコードの検出確率および最悪ケースの成功確率に関する条件を確立することで、実用的な量子情報処理タスクにおけるセキュリティを強化する。

ABSTRACT

ICREA-Institucio Catalana de Recerca i Estudis Avanc¸ats, Lluis Companys 23, E-08010 Barcelona, Spain(Dated: January 8, 2014)Recently several semi-device independent quantum protocols were proposed - e.g. for secure keydistribution, random access coding, and randomness generation - in a scenario where no assumptionon the internal working of the devices used in the protocol is made, except their dimension. Theseprotocols, while being often more practical than fully-device independent ones, are also clearly moresecure than their device dependent counterparts. Nevertheless, we discuss conditions under whichdetection inefficiencies can be exploited to fake the result of the protocol - and how to prevent it -in terms of the detection probability and of the worst case success probability of a random accesscode.I. INTRODUCTION

研究の動機と目的

• 検出非効率性による半デバイスインディペンデントな量子プロトコルのセキュリティ脆弱性を特定すること。
• 攻撃者が低検出効率を悪用してプロトコルの結果を偽装する方法を分析すること。
• このようなスプーフィング攻撃を防ぐための検出確率の理論的境界を確立すること。
• プロトコルのセキュリティをランダムアクセスコードの最悪ケース成功確率に関連付けること。
• 次元制約のある量子プロトコルにおけるセキュリティを保証するための実用的基準を提供すること。

提案手法

• 検出非効率性を、古典的攻撃者が測定結果を操作できる能力としてモデル化する。
• ランダムアクセスコードの最悪ケース成功確率をセキュリティ指標として用いる。
• 攻撃が可能になる検出確率の閾値を導出する。
• デバイスの次元のみを信頼する最小限の仮定のもとでプロトコルの挙動を分析する。
• ゲーム理論的推論を用いて攻撃者の最大成功確率を上限付ける。
• 量子次元制約と古典的シミュレーションモデルを組み合わせ、攻撃の可能性を評価する。

実験結果

リサーチクエスチョン

• RQ1 攻撃者が検出非効率性を悪用して、半デバイスインディペンデントな量子プロトコルの結果を偽装できる条件は何か？
• RQ2 検出確率は、次元制約に依存するプロトコルのセキュリティにどのように影響するか？
• RQ3 ランダムアクセスコードの最悪ケース成功確率と、スプーフィング攻撃の可能性との関係は何か？
• RQ4 検出非効率性を用いて、実際のもつれが存在しない状況でも量子相関をシミュレートできるか？
• RQ5 どのような最小検出閾値が、古典的攻撃者に対してプロトコルを安全に保つのに十分か？

主な発見

• 検出非効率性は、真正のもつれが存在しない状況でも、攻撃者が量子プロトコルの結果を模倣するために悪用可能である。
• 攻撃が可能になる検出確率の臨界閾値が存在し、これはプロトコルの設計に依存する。
• ランダムアクセスコードの最悪ケース成功確率が、スプーフィング攻撃に対するプロトコルの脆弱性を直接決定する。
• より高い検出効率を持つプロトコルは、検出のすきまを利用した古典的攻撃に対してより強固である。
• ランダムアクセスコードの最悪ケース成功確率から導かれる境界を超えて検出確率が上回れば、セキュリティを保証できる。
• 本研究の結果は、実用的な半デバイスインディペンデントな量子プロトコルにおける攻撃の評価と防止のための定量的フレームワークを提供する。