[논문 리뷰] Device-independent quantum key distribution secure against adversaries with no long-term quantum memory

Stefano Pironio, Lluís Masanes외 2명|arXiv (Cornell University)|2012. 11. 06.

Quantum Information and Cryptography참고 문헌 45인용 수 20

한 줄 요약

이 논문은 장기 양자 메모리가 없는 공격자에 대해 보안을 확보하는 장치 독립형 양자 키 분배(DIQKD) 프로토콜을 제안하며, 임의의 벨 부등식을 사용하고 높은 노이즈 내성과 효율성을 유지한다. 핵심 기여는 현재의 양자 메모리 한계를 고려한 현실적인 가정 하에 실용적이고 완전히 장치 독립적인 QKD를 가능하게 하는 보안 증명이다.

ABSTRACT

Device-Independent Quantum Key Distribution (DIQKD) is a formalism that supersedes traditional quantum key distribution, as its security does not rely on any detailed modelling of the internal working of the devices. This strong form of security is possible only using devices producing correlations that violate a Bell inequality. Full security proofs of DIQKD have been recently reported, but they tolerate zero or small amounts of noise and are restricted to protocols based on specific Bell inequalities. Here, we provide a security proof of DIQKD that is both more efficient and noise resistant, and also more general as it applies to protocols based on arbitrary Bell inequalities and can be adapted to cover supra-quantum eavesdroppers limited by the no-signalling principle only. It requires, however, the extra assumption that the adversary does not have a long-term quantum memory, a condition that is not a limitation at present since the best existing quantum memories have very short coherence times.

연구 동기 및 목표

• 신뢰할 수 있는 장치나 하드웨어의 세부 모델링에 의존하지 않는 장치 독립형 양자 키 분배 프로토콜을 개발하는 것.
• 이전의 DIQKD 증명이 메모리가 없는 장치를 가정하거나 허용 가능한 노이즈만 허용하는 한계를 해결하는 것.
• 임의의 벨 부등식과 비신호 전자에 대해 보안을 확장하면서도 높은 효율성과 노이즈 내성을 유지하는 것.
• 공격자가 장기 양자 메모리를 보유하지 않는다는 가정을 현실적으로 만들며, 현재 기술 수준에서 실현 가능하게 하는 것.
• 최소한의 가정 하에 강력한 보안 보장을 제공하는 실용적이고 완전히 장치 독립적인 QKD를 가능하게 하는 프레임워크를 제공하는 것.

제안 방법

• 각 당사자(Alice와 Bob)에 대해 두 개의 장치를 사용하여, 메모리가 없는 장치나 독립적인 장치를 가정할 필요 없이 프로토콜을 설계한다.
• 임의의 벨 부등식 위반을 통해 비국소적 상관관계와 본질적 난수성을 검증한다.
• 보안 키의 근사 균일성과 안전성을 보장하기 위해, 사전에 결정된 두 개의 유니버설 랜덤 함수를 사용하여 개인정보 축소를 수행한다.
• 보안 증명은 높은 확률 사건(G)과 작은 오차 항을 조합한 하이브리드 접근 방식을 사용하여 실제 키 분포와 이상적 키 분포 간의 트레이스 거리 상한을 구한다.
• 증명는 레이마 4를 활용하여 공격자의 정보 추측 확률을 이용해 통계적 거리 상한을 도출하며, 이로 인해 트레이스 거리 상한이 $ 2^{(1-n^{1/2})/2} + 6\text{exp}(-m n^{-3/4} eta_0^{-2}) + 2( ho_A ho_B)^{-|{\rm E}|} $로 유도된다.
• 프레임워크는 오직 비신호 원칙만을 따르는 초양자 전자에 대해서도 확장되어, 더 넓은 적용 가능성을 입증한다.

실험 결과

연구 질문

• RQ1 각 당사자에 대해 두 개의 장치만을 사용하는 DIQKD 프로토콜이, 메모리가 없는 장치나 독립적인 장치를 가정하지 않고도 보안을 확보할 수 있는가?
• RQ2 보안 증명이 CHSH나 체인 부등식과 같은 특정 부등식 외에도 임의의 벨 부등식에 일반화될 수 있는가?
• RQ3 다수의 장치를 사용하는 프로토콜과 비교해도 높은 노이즈 내성과 효율성을 유지하는가?
• RQ4 노이즈가 있는 상황에서 비신호 전자에 대해서도 증명이 확장 가능한가, 특히 전자들이 양자 정보를 저장할 수 있는 경우에도?
• RQ5 공격자가 장기 양자 메모리를 보유하지 않는다는 가정이 실용적인 상황에서 현실적이며 충분한 보안 조건인가?

주요 결과

• 실제 키 분포와 이상적 키 분포 간의 트레이스 거리는 $ 2^{(1-n^{1/2})/2} + 6\text{exp}(-m n^{-3/4} eta_0^{-2}) + 2( ho_A ho_B)^{-|{\rm E}|} $로 유도되며, 이는 긴 키 길이에서 높은 보안성을 보장한다.
• 보안 증명은 노이즈에 강건하고 효율적이며, 키 길이가 측정 횟수와 선형적으로 증가하여 다수의 장치를 사용하는 프로토콜의 성능을 따라잡는다.
• 프레임워크는 임의의 벨 부등식에 적용 가능하여, 이전의 증명이 특정 부등식에 국한된 것보다 더 일반적이다.
• 비신호 전자에 대해서도 증명이 유효하여, 양자 이론을 초월한 강건성을 입증한다.
• 현재의 양자 메모리의 공명 시간을 고려할 때, 공격자가 장기 양자 메모리를 보유하지 않는다는 가정은 현실적이며, 이는 프로토콜의 실용적 타당성을 뒷받침한다.
• 주어진 가정 하에 개인정보 축소가 효과적임이 입증되어, 실용적인 노이즈 내성과 함께 완전히 장치 독립적인 QKD로의 길을 제시한다.