[논문 리뷰] Essential lack of security proof in quantum key distribution

Horace P. Yuen|arXiv (Cornell University)|2013. 10. 02.

Quantum Computing Algorithms and Architecture참고 문헌 15인용 수 12

한 줄 요약

이 논문은 양자 키 분배(QKD)에서 무조건적 보안 증명의 타당성을 도전하며, 특히 BB84 및 그 변종에 대한 기존 증명이 흔적 거리 기준과 보안 매개변수의 부재로 인해 근본적으로 잘못되어 있다고 주장한다. 이를 위해 간섭-정보 교환 원칙을 KCQ(KCQ: 양자 노이즈 내에서의 키 기반 통신) 프레임워크와 새로운 DBM(데코이 비트 방법)로 대체하여, 더 높은 효율성과 강건성으로 정보 이론적으로 보장된 엄밀한 보안 키 교환을 실현하고자 한다.

ABSTRACT

All the currently available unconditional security proofs on quantum key distribution, in particular for the BB84 protocol and its variants including continuous-variable ones, are invalid or incomplete at many points. In this paper we discuss some of the main known problems, particularly those on operational security guarantee and error correction. Most basic are the points that there is no security parameter in such protocols and it is not the case the generated key is perfect with probability $\geq 1-ε$ under the trace distance criterion $d\leqε$, which is widely claimed in the technical and popular literature. The many serious security consequences of this error about the QKD generated key would be explained, including practical ramification on achievable security levels. It will be shown how the error correction problem alone may already defy rigorous quantitative analysis. Various other problems would be touched upon. It is pointed out that rigorous security guarantee of much more efficient quantum cryptosystems may be obtained by abandoning the disturbance-information tradeoff principle and utilizing instead the known KCQ (keyed communication in quantum noise) principle in conjunction with a new DBM (decoy bits method) principle that will be detailed elsewhere.

연구 동기 및 목표

• BB84 유형의 QKD 프로토콜 보안 증명의 심각한 결함을 드러내며, 특히 흔적 거리 기준과 보안 매개변수의 부재에 초점을 맞춘다.
• QKD가 널리 주장하는 '완벽한 보안' 또는 '무조건적 보안'이 수학적으로 정당화되지 않으며, 운영적으로 오해의 소지가 있음을 입증한다.
• 보안 수준을 높이는 데 있어 본질적인 불가피한 상호 교환 관계로 인해 QKD에서 높은 보안 수준을 달성하는 것이 실용적으로 불가능하다는 점을 강조한다.
• 간섭 기반 보안에서 KCQ 원칙과 DBM 방법을 조합한 새로운 프레임워크로의 패러다임 전환을 주장함으로써, 더 강력하고 엄밀하게 보장된 보안을 갖춘 양자 cryptosystem을 구축하고자 한다.

제안 방법

• 흔적 거리 기준 $ d \leq \epsilon $ 를 분석하며, 여기서 $ \epsilon $ 가 보안 매개변수인 것이 아니라 통계적 이탈의 척도임을 주장함.
• 키가 $ \epsilon $-균일하다는 주장(즉, 균일함과 구별 불가능함)이 $ \epsilon $-보안을 의미하지는 않으며, 이는 QKD 보안 증명의 기초를 약화시킴.
• 간섭-정보 교환 원칙을 KCQ(KCQ: 양자 노이즈 내에서의 키 기반 통신) 프레임워크로 대체함. 이는 간섭 모니터링 없이 최적의 양자 탐지 기술을 활용함.
• DBM(데코이 비트 방법)을 신규 기술로 도입함. 이는 QKD의 데코이 상태 프로토콜과 독립적이며, 일반 공격 하에서의 키 보안을 엄밀하게 분석할 수 있도록 함.
• QKD를 수정하여 공유 비밀 시드를 사용하는 의사난수 생성기로 큐비트를 선택함으로써 간섭 검사의 필요성을 제거하고, 채널 특성 분석을 별도로 수행할 수 있도록 함.
• 최종 보안을 확보하기 위해 메시지 인증 코드(MAC)와 프라이버시 증폭 코드(PACE)의 사용을 강조함.

실험 결과

연구 질문

• RQ1 BB84 및 연속 변수 변종을 포함한 현재의 QKD 프로토콜에 대한 무조건적 보안 증명이 근본적으로 잘못되거나 완전하지 않은 이유는 무엇인가요?
• RQ2 QKD 맥락에서 흔적 거리 기준 $ d \leq \epsilon $ 의 정확한 해석은 무엇이며, 현재의 사용이 왜 오해의 소지가 있나요?
• RQ3 QKD 프로토콜에서 보안 매개변수의 부재가 운영적 보안 보장을 어떻게 약화시키나요?
• RQ4 QKD에서 키 생성 속도와 보안 수준 사이의 상호 교환 관계가 가지는 정량적 영향은 무엇이며, 왜 $ 10^{-15} $ 수준의 보안을 달성하는 것이 실용적으로 불가능한가요?
• RQ5 KCQ와 DBM에 기반한 새로운 양자 암호 프레임워크가 기존 QKD에 비해 더 엄밀하고 효율적이며 강건한 대안이 될 수 있는가요?

주요 결과

• QKD로 생성된 키가 흔적 거리 기준 하에서 $ \epsilon $-보안이라고 주장하는 것은 잘못된 것으로, $ \epsilon $ 가 조절 가능한 보안 매개변수로 작용하지 않기 때문이다.
• 모든 공격 시나리오를 고려한 BB84 유형 프로토콜에 대한 엄밀한 보안 증명은 존재하지 않으며, 특히 유한 키 및 집합 공격 모델 하에서 그렇다.
• 현재 최첨단 보안 수준인 $ 10^{-9} $ 는 정당한 근거 없이 도출되었으며, 실용적 보안에 요구되는 $ 10^{-15} $ 수준과 비교해 36개 오차수준 낮다.
• QKD에서 키 생성 속도와 보안 수준 사이에는 심지어 점점 더 큰 근본적인 상호 교환 관계가 존재하며, 이는 보안 매개변수 조정으로도 완화될 수 없다.
• KCQ 프레임워크와 DBM 방법을 조합하면 간섭 모니터링이 필요 없고, 엄밀한 보안 증명이 가능하므로 BB84 유형 프로토콜에 대한 실질적인 대안을 제공한다.
• 제안된 KCQ+DBM 접근법은 기존 광학 인프라와 호환되며, 기존 QKD 구현보다 더 강력하고 정보 이론적으로 보장된 완전한 양자 보안 시스템을 가능하게 한다.