[논문 리뷰] Secure positioning and non-local correlations

Muhammad Nadeem|arXiv (Cornell University)|2014. 06. 11.

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이 증가함에 따라 확률은 점점 1에 수렴한다.
• 얽힌 상태에서 국소 측정을 통해 생성된 비국소 상관관계는 높은 신뢰도로 위치를 확인하는 데 충분하다.
• 이 방식은 양자 역학의 기본 원리인 얽힘의 단독성과 신호 전파 금지 원리를 활용하여 보안을 강화한다.
• 증명자가 외부 당사자와 얽힘을 공유할 수 없는 한, 일반적인 악성 공격 모델에 대해 안정성이 확보된다.