[논문 리뷰] A Rigorous and Complete Proof of Finite Key Security of Quantum Key Distribution

Marco Tomamichel, Anthony Leverrier|arXiv (Cornell University)|2015. 06. 28.

Quantum Information and Cryptography참고 문헌 29인용 수 12

한 줄 요약

이 논문은 BBM92(엔트랑글먼트 기반) 및 BB84(준비 및 측정) 프로토콜을 사용한 양자 키 분배의 유한 키 보안성에 대해 철저하고 자가 포함적인 증명을 제시한다. 모든 난수와 공개 통신 트랜스크립트를 명시적으로 모델링함으로써, 유한 키 분석에서의 기초 참고 자료가 되는 완전한 보안 프레임워크를 수립한다.

ABSTRACT

The goal of this work is to provide a largely self-contained, rigorous proof of the security of quantum key distribution in the finite key regime. For our analysis we consider an entanglement-based protocol based on BBM92 as well as a prepare-and-measure protocol based on BB84. Our presentation differs from previous work in that we are careful to model all the randomness that is used throughout the protocol and take care of all the transcripts of the communication over the public channel. We hope that this work will be a good starting point for readers interested in finite key analysis of protocols in quantum cryptography.

연구 동기 및 목표

• 양자 키 분배의 유한 키 영역에서 종합적이고 수학적으로 엄밀한 보안 증명을 제공하는 것.
• 프로토콜 실행 중 발생하는 모든 난수의 원천과 모든 공개 통신 트랜스크립트를 모델링하는 것.
• 미래의 양자 암호에서의 유한 키 보안 연구를 위한 기초 참고 자료가 되는 자가 포함적인 분석을 제시하는 것.
• 엔트랑글먼트 기반(BBM92) 및 준비 및 측정(BB84) 프로토콜을 동일한 보안 프레임워크 아래 통합적으로 다루는 것.

제안 방법

• 프로토콜 실행 중 발생하는 모든 난수 선택, 예를 들어 기저 선택, 측정 결과, 그리고 고전적 후처리 단계를 모델링한다.
• 공개 채널을 통해 발생하는 모든 고전적 통신 트랜스크립트를 추적하여 정보 泄露가 간과되지 않도록 한다.
• 유니버설 컴포지터블(UC) 보안 프레임워크를 사용하여, 임의의 공격자 행동에 대비한 강건성을 확보한다.
• 유한 키 환경에서 보안 파rameter를 근사하기 위해 양자 de Finetti 정리와 후처리 기법(Post-selection technique)을 적용한다.
• 집합 공격(collective attacks)을 전제로 분석하며, 후처리 기법을 통해 일관된 공격(coherent attacks)으로의 확장을 다룬다.

실험 결과

연구 질문

• RQ1 QKD의 유한 키 보안 증명을 어떻게 완전히 엄밀하고 자가 포함적으로 만들 수 있는가?
• RQ2 모든 난수와 공개 통신 트랜스크립트를 모델링하는 것이 보안 분석에 어떤 영향을 미치는가?
• RQ3 동일한 유한 키 조건 하에서 BBM92 및 BB84 프로토콜의 보안 경계는 어떻게 비교되는가?
• RQ4 준비 및 측정형과 엔트랑글먼트 기반 QKD 프로토콜을 모두 다룰 수 있는 통합 프레임워크를 유한 키 영역에서 구성할 수 있는가?

주요 결과

• 논문은 BBM92 및 BB84 프로토콜에 대해 유한 키 영역에서 완전하고 엄밀한 보안 증명을 수립한다.
• 모든 난수와 공개 통신 트랜스크립트를 모델링함으로써, 실질적인 보안을 손상시킬 수 있는 가정을 피하는 분석을 수행한다.
• 증명은 자가 포함적이며, 향후 유한 키 보안 연구를 위한 기초 참고 자료로 적합하다.
• 유한 표본에서의 통계적 변동을 적절히 반영함으로써, 날카운 보안 경계를 도출할 수 있는 프레임워크를 제공한다.