[논문 리뷰] Unconditional security in Quantum Cryptography

Dominic Mayers|ArXiv.org|1998. 02. 10.

Quantum Information and Cryptography참고 문헌 16인용 수 35

한 줄 요약

이 논문은 노이즈 있는 채널과 완벽하지 않은 검출기 조건 하에서 BB84 양자 키 분배 프로토콜의 조건 없는 보안성을 엄밀하게 증명한다. POVM 형식을 사용하여, 송신자의 상태 준비가 완벽하고 수신자의 검출 기저 선택이 양자 상태와 독립일 경우, 임의의 양자 공격에 대해서도 보안이 유지됨을 보여준다.

ABSTRACT

Basic techniques to prove the unconditional security of quantum cryptography are described. They are applied to a quantum key distribution protocol proposed by Bennett and Brassard in 1984. The proof considers a practical variation on the protocol in which the channel is noisy and photons may be lost during the transmission. The initial coding into the channel must be perfect (i.e., exactly as described in the protocol). No restriction is imposed on the detector used at the receiving side of the channel, except that whether or not the received system is detected must be independent of the basis used to measure this system.

연구 동기 및 목표

• 양자 암호에서 조건 없는 보안을 증명하기 위한 공식적 프레임워크를 수립하기 위해.
• 노이즈 있는 채널과 완벽하지 않은 검출기를 고려한 실용적 상황에서의 양자 키 분배 보안을 다루기 위해.
• 양자 키 분배 프로토콜에서 측정 장치에 대한 이상적인 가정에 의존하지 않기 위해.
• BB84를 초월한 양자 암호 프로토콜에 적용 가능한 일반적인 증명 기법을 제공하기 위해.
• 모든 가능한 양자 공격, 특히 검출기 취약점을 악용하는 공격에 대비한 보안을 확보하기 위해.

제안 방법

• 수신자 측의 임의의 양자 측정을 모델링하기 위해 양의 연산자값 측정(POVM) 형식을 사용한다.
• 실제 전송 오차를 반영하기 위해 양자 채널을 노이즈 있고 손실이 있는 것으로 모델링한다.
• 송신자의 상태 준비가 완벽하다는 가정을 두어 초기 인코딩이 프로토콜 사양과 정확히 일치함을 보장한다.
• 측정 기저에 관계없이 측정 결과가 독립적이어야 한다는 조건을 도입한다.
• 어떤 성공적인 공격도 양자역학의 모순을 암시하므로, 역추론적 접근을 사용하여 이를 보여준다.
• 복제 금지 정리와 양자 측정 원리를 적용하여 악의적인 당사자가 확보할 수 있는 정보의 양을 제한한다.

실험 결과

연구 질문

• RQ1 노이즈 있는 채널과 완벽하지 않은 장치가 존재하는 상황에서도 BB84 프로토콜이 모든 양자 공격에 대해 보안이 유지될 수 있는가?
• RQ2 양자 키 분배에서 조건 없는 보안을 엄밀히 증명하기 위해 필요한 수학적 프레임워크는 무엇인가?
• RQ3 보안 증명에서 검출기 사이드 채널 공격은 어떻게 배제할 수 있는가?
• RQ4 이상적인 장치 모델에 의존하지 않고 보안을 확보하기 위해 필요한 가정은 무엇인가?
• RQ5 손실이 있고 노이즈가 있는 채널을 고려한 실용적 구현으로 보안 증명을 확장할 수 있는가?

주요 결과

• BB84 프로토콜은 양자 채널이 노이즈가 있고 전송 중 광자 손실이 발생하더라도 조건 없는 보안을 유지한다.
• 송신자의 상태 준비가 완벽하고 수신자의 검출 과정이 측정 기저와 독립일 경우 보안이 유지됨을 보여준다.
• 증명은 어떤 도청 전략도 감지 가능한 교란을 유도하지 않고 정보를 확보할 수 없음을 보여준다.
• POVM의 사용은 결함이 있는 측정 장치를 포함한 일반적인 측정 장치 처리를 가능하게 한다.
• 도청자의 공격 전략에 대한 특정 성질을 가정하지 않고 보안 한계를 유도한다.
• POVM 형식과 복제 금지 정리를 사용함으로써 모든 가능한 양자 공격, 특히 코herent 및 집합적 공격에 대해 결과가 성립한다.