[논문 리뷰] GHZ correlation provides secure Anonymous Veto Protocol

Ramij Rahaman, Guruprasad Kar|arXiv (Cornell University)|2015. 07. 02.

Wireless Communication Security Techniques인용 수 7

한 줄 요약

이 논문은 다자간 그린버거-혼-자일링거(GHZ) 얽힘을 사용하여 익명의 거부(Anonymous Veto, AV) 및 식사 도둑(Dining Cryptographers, DC) 문제를 위한 안전한 양자 프로토콜을 제안한다. GHZ 상태의 비국소적 상관관계와 국소 실재성에 대한 위반을 활용하여, 사전 공유 키 없이도 무조건적인 보안을 보장하는 익명 메시지 전송이 가능하며, DC 변형에서는 다중 지불을 탐지하고, 거부자 신원은 숨기면서 오직 거부 수만을 공개한다.

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.

연구 동기 및 목표

• 기존의 고전적 익명 통신 프로토콜은 계산의 난이도나 사전 공유 키에 의존하여 공모나 다중 지불 공격에 취약하므로 이를 해결하고자 한다.
• 양자 비국소성을 활용하여 익명의 거부(Anonymous Veto, AV) 및 식사 도둑(Dining Cryptographers, DC) 문제에 대해 무조건적 보안을 제공하는 양자 솔루션을 개발하고자 한다.
• 다중 큐비트 GHZ 상태를 사용하여 3인 이상의 참여자에 대한 n-편성 시나리오로 DC 문제를 일반화하고, 3인 경우 다중 지불 탐지를 가능하게 하며, 더 큰 그룹으로의 일반화를 실현하고자 한다.
• 국소 실재성 불평등 위반을 기반으로 한 GHZ 상태의 진정성 검증을 통해 보안을 강화하고자 한다.
• 모든 투표자 중 누구의 신원도 드러내지 않고 거부 수만 공개함으로써 완전한 익명성을 유지함을 입증하고자 한다.

제안 방법

• 홀수 n에 대해 n-큐비트 GHZ 상태 |Ψₙ⟩ = (|00…0⟩ - |11…1⟩)/√2 를 사용하고, 짝수 n에 대해서는 한 당사자가 두 큐비트를 보유하는 수정된 버전을 사용한다.
• 각 당사자는 개인의 결정(예: 지불 또는 거부)에 따라 패러미터에 따라 국소 측정 또는 유니터리 연산을 수행하며, 파울리 행렬 σₓ 및 σᵧ 를 사용한다.
• 진정성 검증은 랜덤으로 선택된 런에서 관측량 Oᵢ 를 측정하여 GHZ 파라독스에 해당하는지를 확인함으로써 수행되며, 결과의 곱이 기대되는 고유값(±1)과 일치하는지 검증한다.
• 진정한 GHZ 상태만이 국소 실재성 불평등 |⟨∑ᵢ₌₁ⁿ Oᵢ − O₀⟩| ≤ n−1 를 위반할 수 있으며, |Ψₙ⟩ 에서 최대 위반 정도는 n+1 이다.
• AV 프로토콜의 경우, 각 투표자는 거부할 경우 유니터리 연산을 적용하며, 최종 결과는 거부 수만 공개하고 투표자의 신원은 드러내지 않는다.
• GHZ 상관관계의 비국소성과 국소 숨겨진 변수 모델이 관측된 통계를 재현할 수 없는 사실에 기반하여, 공모나 다중 지불에 대한 보안이 확보된다.

실험 결과

연구 질문

• RQ1 GHZ 얽힘을 사용하여 다중 지불 탐지를 가능하게 하는 무조건적 보안 프로토콜을 식사 도둑 문제에 적용할 수 있는가?
• RQ2 계산적 가정이나 사전 공유 키에 의존하지 않고, 양자 비국소성을 활용하여 익명의 거부 문제를 해결할 수 있는가?
• RQ3 GHZ 상태의 진정성이 다자간 양자 프로토콜에서 도청 및 사기 방지를 위한 보안 확보에 어떤 역할을 하는가?
• RQ4 n-편성 DC 문제를 GHZ 상태를 사용하여 일반화할 수 있는가? 이 경우 프로토콜은 모든 참가자에 대해 보장된 보안과 익명성을 유지하는가?
• RQ5 GHZ 상태에서의 국소 실재성 위반은 어떻게 안전하고 추적 불가능한 익명 통신 메커니즘을 가능하게 하는가?

주요 결과

• 프로토콜은 GHZ 파라독스를 활용하여 3인 식사 도둑 문제에서 다중 지불을 탐지할 수 있으며, 이는 고전적 프로토콜에 존재하지 않는 기능이다.
• 익명의 거부 문제의 경우, 프로토콜은 투표자의 신원을 드러내지 않고 오직 거부 수만 공개함으로써 완전한 익명성을 보장한다.
• 프로토콜의 보안은 국소 실재성 불평등의 최대 양자 위반에 기반하며, 이는 진정한 n-큐비트 GHZ 상태에서만 달성 가능하다.
• GHZ 상태의 진정성 검증은 측정 설정을 무작위로 샘플링하고 결과의 곱이 기대 고유값과 일치하는지 검증함으로써 수행되며, 이는 고전적 시뮬레이션이 상관관계를 재현할 수 없음을 보장한다.
• 프로토콜은 쌍방 통신 키나 인증된 채널이 필요 없이 오직 양자 비국소성에 의존하여 무조건적 보안을 달성한다.
• 공모에 강건하며, 어떤 플레이어 그룹도 GHZ 상관관계의 비국소성 덕분에 거부자의 신원이나 지불자의 신원을 유추할 수 없다.