[논문 리뷰] Deterministic Secure Direct Communication Using Ping-pong protocol without public channel

Qing-yu Cai|ArXiv.org|2003. 01. 13.

Quantum Computing Algorithms and Architecture인용 수 6

한 줄 요약

이 논문은 공개 채널이 필요 없도록 하는 결정론적 안전 직접 통신 프로토콜을 제안한다. 아인슈타인-포돌스키-로젠(EPR) 얽힘과 국소 유니터리 연산을 활용하여, 보브가 보낸 이동하는 큐비트에 애리스가 고전 비트를 인코딩한다. 보브는 두 큐비트를 벨 기저에서 측정하여 도청을 50% 확률로 탐지하며, 공개 검증 채널 없이도 무조건적 안전성을 보장한다.

ABSTRACT

Based on an EPR pair of qubits and allowing asymptotically secure key distribution, a secure communication protocol is presented. Bob sends either of the EPR pair qubits to Alice. Alice receives the travel qubit. Then she can encode classical information by local unitary operations on this travel qubit. Alice send the qubit back to Bob. Bob can get Alice's information by measurement on the two photons in Bell operator basis. If Eve in line, she has no access to Bob's home qubit. All her operations are restricted to the travel qubit. In order to find out which opeartion Alice performs, Eve's operation must include measurements. The EPR pair qubits are destroyed. Bob's measurement on the two photons in Bell operator basis can help him to judge whether Eve exist in line or not. In this protocal, a public channel is not necessary.

연구 동기 및 목표

• 보안 검증을 위한 공개 채널에 의존하지 않는 안전한 직접 통신 프로토콜을 개발하는 것.
• 양자 얽힘과 국소 연산을 사용하여 고전 정보를 결정론적으로 전송할 수 있도록 하는 것.
• 비복제 정리와 얽힌 시스템에서의 측정 붕괴를 활용하여 도청을 확실하게 탐지하는 것.
• 양자 키 분배 또는 안전한 통신 프로토콜에서 공개 고전적 통신의 필요성을 제거하는 것.

제안 방법

• 보브는 벨 상태인 |ψ⁺⟩ 또는 |ϕ⁺⟩과 같은 완전히 얽힌 EPR 쌍을 준비하고, 한 큐비트를 애리스에게 전송하면서 다른 하나는 보관한다.
• 애리스는 수신한 큐비트에 대해 '0'은 항등 연산(I)을, '1'은 파울리-Z 연산(σ̂_Z)을 적용하여 고전 비트를 인코딩한다.
• 애리스는 수정된 큐비트를 다시 보브에게 전송하며, 보브는 두 큐비트에 대해 공동 벨 기저 측정을 수행한다.
• 보브는 측정 결과에 따라 애리스의 인코딩된 비트를 결정한다: |ψ⁺⟩은 '0', |ψ⁻⟩은 '1'로, 초기 상태가 |ψ⁺⟩일 경우.
• 만약 보브가 |ϕ⁺⟩ 또는 |ϕ⁻⟩를 측정하면 도청을 탐지하고 통신을 중단한다.
• 에브는 얽힌 상태를 붕괴시키지 않고서는 정보를 확보할 수 없으며, 이동 큐비트에 대한 그녀의 측정만으로는 보브의 초기 상태를 구분할 수 없다. 이는 혼합된 부분 밀도 행렬 때문이기 때문이다.

실험 결과

연구 질문

• RQ1 공개 고전 채널 없이도 결정론적 안전 직접 통신을 달성할 수 있는가?
• RQ2 공개 검증을 피하는 프로토콜에서 도청을 확실하게 탐지할 수 있는가?
• RQ3 EPR 쌍과 국소 유니터리 연산의 사용이 고전 정보의 안전하고 직접적인 전송을 가능하게 하는가?
• RQ4 보안 검증을 위해 고전 통신이 없이도 프로토콜의 보안이 양자 측정과 얽힘 성질만으로 보장될 수 있는가?

주요 결과

• 프로토콜은 도청 탐지나 키 검증을 위한 공개 채널이 필요 없이 무조건적 안전성을 달성한다.
• 에브의 도청 시도는 큐비트당 50% 확률로 탐지되며, 1000비트 이후에는 탐지 확률이 약 9.33×10⁻³⁰²로 매우 낮아진다.
• 에브가 도청하지 않은 경우, 보브는 두 광자의 벨 상태를 측정하여 애리스의 인코딩된 비트를 모순 없이 결정할 수 있으며, 완벽한 허용도를 유지한다.
• 에브는 얽힌 상태를 붕괴시키지 않고서는 애리스의 연산에 대한 정보를 확보할 수 없으며, 이는 보브의 측정 결과에 의해 탐지된다.
• 이동 큐비트의 부분 밀도 행렬은 최대로 혼합되어 있어, 에브가 단독으로 접근하더라도 초기 상태를 파악할 수 없다.
• 프로토콜은 고전적 통신을 통한 보안 점검 없이도 오직 양자 연산과 측정만으로도 안전한 통신을 실현할 수 있음을 보여준다.