[논문 리뷰] Enhanced No-Go Theorem for Quantum Position Verification

Fei Gao, Bin Liu외 1명|arXiv (Cornell University)|2013. 05. 18.

Quantum Information and Cryptography참고 문헌 12인용 수 4

한 줄 요약

이 논문은 원래의 금지 정리의 기초가 되는 네 가지 암묵적 가정을 위반함으로써 즉시 비국소 양자 계산(INQC) 공격의 한계를 우회하는 세 가지 새로운 양자 위치 검증(QPV) 프로토콜을 제안한다. 초고주기 공격이 필요한 초밀도 INQC(SINQC) 공격에 대해 이론적으로는 취약하나, 이러한 공격이 실질적으로 불가능하기 때문에 프로토콜은 실용적 보안성을 확보하며, 더 느슨한 가정 하에 QPV에 대한 향상된 금지 정리를 수립한다.

ABSTRACT

Based on the instantaneous nonlocal quantum computation (INQC), Buhrman et al. proposed an excellent attack strategy to quantum position verification (QPV) protocols in 2011, and showed that, if the colluding adversaries are allowed to previously share unlimited entangled states, it is impossible to design an unconditionally secure QPV protocol in the previous model. Here, trying to overcome this no-go theorem, we find some assumptions in the INQC attack, which are implicit but essential for the success of this attack, and present three different QPV protocols where these assumptions are not satisfied. We show that for the general adversaries, who execute the attack operations at every common time slot or the time when they detect the arrival of the challenge signals from the verifiers, secure QPV is achievable. This implies practically secure QPV can be obtained even if the adversaries is allowed to share unlimited entanglement previously. Here by "practically" we mean that in a successful attack the adversaries need launch a new round of attack on the coming qubits with extremely high frequency so that none of the possible qubits, which may be sent at random time, will be missed. On the other side, using such Superdense INQC (SINQC) attack, the adversaries can still attack the proposed protocols successfully in theory. The particular attack strategies to our protocols are presented respectively. On this basis, we demonstrate the impossibility of secure QPV with looser assumptions, i.e. the enhanced no-go theorem for QPV.

연구 동기 및 목표

• INQC 공격의 성공에 필수적인 네 가지 암묵적 가정을 특정하고 폭 드러내기 위해.
• 이러한 가정을 만족하지 않는 새로운 QPV 프로토콜을 설계하여, 무제한의 사전 공유 양자 얽힘이 존재하더라도 실용적 보안성을 확보하기 위해.
• 제안된 프로토콜이 초밀도 INQC(SINQC) 공격에 대해 이론적으로는 취약하나, 초고주기 공격 라운드가 필요하기 때문에 실질적으로 실행 불가능하므로 실용적 보안성을 입증하기 위해.
• 단일 광자 간섭, 변동하는 신호 도착 시간, 또는 다중 증명 지점에 의존하는 프로토콜이 더 느슨한 가정 하에 SINQC 공격에 여전히 취약함을 보여주며, QPV에 대한 향상된 금지 정리를 수립하기 위해.
• 기존의 큐비트 기반 프로토콜이 추가적인 구현 복잡성 없이도 단일 광자 간섭 프로토콜과 동일한 수준의 보안성을 달성할 수 있음을 보여주기 위해.

제안 방법

• INQC 공격 모델에 내재된 네 가지 은폐된 가정(H1–H4)을 특정하며, 이는 공격자가 특정 순서로 측정을 수행하고 신호 도착을 정확히 감지할 수 있다는 것을 포함한다.
• 이러한 가정을 위반하는 세 가지 새로운 QPV 프로토콜—프로토콜 I(랜덤 전송 시간을 갖는 단일 광자 간섭), 프로토콜 II(변동하는 도착 시간을 갖는 프라이빗 오더 DTQPV), 프로토콜 III(동시 신호 요구 조건이 있는 다중 지점 QPV)—을 설계한다.
• 공격자가 모든 공통 시간 슬롯 또는 신호 감지 시마다 공격을 수행해야 하며, 이를 통해 큐비트를 놓치지 않도록 해야 하는 SINQC 공격 모델 하에서 프로토콜을 분석한다.
• SINQC 공격에서 공격자는 '공백 신호'(예: |0⟩ 상태 또는 추가된 빈 신호)를 텔레포트해야 하며, 이로 인해 대부분의 사전 공유 얽힘이 낭비되며, 공격에 필요한 자원 비용이 크게 증가함을 보여준다.
• 정원 호스 모델과 통신 복잡도 기법을 사용하여 공격에 필요한 EPR 쌍의 수를 근사하며, 잠재적 신호 도착 시간 수와 함께 얽힘이 초선형적으로 증가함을 보여준다.
• 국소 측정 결과가 측정 순서에 독립적이라는 것이 공격 전략 설계 및 프로토콜 보안성 증명에 핵심적으로 활용됨을 규명한다.

실험 결과

연구 질문

• RQ1 INQC 공격이 표준 QPV 프로토콜을 공격하는 데 성공하는 데 필수적인 암묵적 가정은 무엇인가?
• RQ2 이러한 가정이 위반된다면, 무제한의 양자 얽힘이 공유되어 있어도 QPV 프로토콜이 여전히 보안을 유지할 수 있는가?
• RQ3 단일 광자 간섭, 변동하는 신호 도착 시간, 또는 다중 증명 지점을 사용하는 프로토콜이 SINQC 공격에 얼마나 잘 견디는가?
• RQ4 초고주기 공격 실행이 실질적으로 불가능하기 때문에, SINQC에 대한 이론적 취약성에도 불구하고 QPV에서 실용적 보안성을 확보할 수 있는가?
• RQ5 SINQC에서 고주기 공격 순환 요구 조건이 제안된 프로토콜을 해체하는 데 필요한 자원 비용과 실행 가능성에 어떤 영향을 미치는가?

주요 결과

• 논문은 INQC 공격의 성공에 필수적인 네 가지 은폐된 가정(H1–H4)을 특정하며, 이들 중 어느 하나라도 위반되면 공격이 성립하지 않음을 보여준다.
• 랜덤 전송 시간을 갖는 단일 광자 간섭(프로토콜 I), 프라이빗 오더 DTQPV(프로토콜 II), 다중 지점 QPV(프로토콜 III)를 사용하는 제안된 프로토콜들은 이러한 가정을 위반함으로써 표준 INQC 공격에 대해 보안을 확보한다.
• 이론적으로는 취약하나, 성공적인 SINQC 공격을 위해서는 공격자가 모든 공통 시간 슬롯 또는 신호 감지 시마다 공격을 수행해야 하므로 실질적으로 실행 불가능하여 프로토콜은 실용적 보안성을 확보한다.
• 공격자는 대부분의 사전 공유 얽힘을 '공백 신호'(예: |0⟩ 상태 또는 빈 신호) 텔레포트에 낭비해야 하며, 이는 이전 프로토콜 대비 공격에 필요한 자원 비용을 크게 증가시킨다.
• 단일 광자 간섭, 변동하는 도착 시간, 다중 증명 지점, 또는 그 조합에 의존하는 프로토콜이 SINQC 공격에 여전히 취약함을 보여주는 QPV에 대한 향상된 금지 정리를 수립한다. 그러나 이는 공격자가 초고주기로 공격를 수행할 수 있을 경우에 한한다.
• 기존의 큐비트 기반 프로토콜도 추가적인 구현 복잡성 없이 단일 광자 간섭 프로토콜과 동일한 수준의 보안성을 달성할 수 있으며, 이는 프라이빗 오더 DTQPV(프로토콜 II)를 통해 입증되었다.