[논문 리뷰] Device-independent quantum key distribution

Esther Hänggi|arXiv (Cornell University)|2010. 12. 17.

Quantum Information and Cryptography인용 수 17

한 줄 요약

이 논문은 비장치 의존성 양자 키 분배(DIQKD)를 두 가지 별개의 프레임워크인 비신호성 적대자 및 양자 실현 가능한 상관관계에 기반하여 수립한다. 비신호성 제약 조건과 교환 측정의 조건에 의존하는 일반화된 증명 프레임워크를 사용하여, 장치의 세부 사항이나 힐베르트 공간 차원에 대한 신뢰 없이도 안전한 키 추출이 가능함을 증명한다.

ABSTRACT

In this thesis, we study two approaches to achieve device-independent quantum key distribution: in the first approach, the adversary can distribute any system to the honest parties that cannot be used to communicate between the three of them, i.e., it must be non-signalling. In the second approach, we limit the adversary to strategies which can be implemented using quantum physics. For both approaches, we show how device-independent quantum key distribution can be achieved when imposing an additional condition. In the non-signalling case this additional requirement is that communication is impossible between all pairwise subsystems of the honest parties, while, in the quantum case, we demand that measurements on different subsystems must commute. We give a generic security proof for device-independent quantum key distribution in these cases and apply it to an existing quantum key distribution protocol, thus proving its security even in this setting. We also show that, without any additional such restriction there always exists a successful joint attack by a non-signalling adversary.

연구 동기 및 목표

• 장치에 대한 신뢰 없이 장치 의존성 없는 양자 키 분배를 달성하기 위해.
• 서브시스템 간에 통신이 불가능한 비신호성 적대자에 대해 보안을 입증하기 위해.
• 서로 다른 서브시스템에서의 교환 측정을 갖춘 양자 실현 가능한 상관관계 하에서 보안을 확립하기 위해.
• 비신호성 적대자가 집단 공격을 수행하는 것을 방지하기 위해 추가 제약 조건이 필요한지 확인하기 위해.
• 최소한의 가정 하에 다양한 QKD 프로토콜에 적용 가능한 일반화된 보안 증명을 제공하기 위해.

제안 방법

• 장치 사양이 아닌 관측 가능한 측정 통계에 기반한 장치 의존성 없는 QKD 프레임워크를 제안한다.
• 두 가지 모델을 도입한다: 비신호성 적대자(더 약한 제약 조건)와 양자 실현 가능한 상관관계(더 강한 물리적 제약 조건).
• 두 가지 핵심 조건을 도입한다: 서브시스템 간 통신 금지 및 서로 다른 서브시스템에서의 교환 측정.
• 비밀번호 도청자의 지식을 제한하기 위해 볼록 최적화와 최소 엔트로피 분석을 사용하는 일반화된 보안 증명을 개발한다.
• 증명을 구체적인 QKD 프로토콜에 적용하여, 제시된 가정 하에서도 안전함을 입증한다.
• de Finetti 유형 정리와 볼록 최적화의 이중성을 사용하여 키 추출의 보안성을 분석한다.

실험 결과

연구 질문

• RQ1 장치에 대한 신뢰 없이 장치 의존성 없는 QKD를 달성할 수 있는가?
• RQ2 비신호성 적대자가 QKD 프로토콜을 무너뜨리는 것을 방지하기 위해 추가로 필요한 제약 조건은 무엇인가?
• RQ3 기본 양자 장치가 아닌 관측된 상관관계만 신뢰할 경우 QKD의 보안성은 어떻게 변화하는가?
• RQ4 최소한의 가정 하에 여러 QKD 프로토콜에 적용 가능한 일반화된 보안 증명을 구성할 수 있는가?
• RQ5 비신호성과 교환성 제약 조건은 안전한 키 생성을 보장하는 데 어떤 역할을 하는가?

주요 결과

• 비신호성 제약 조건과 교환 측정 조건이 도입된 경우, 장치 의존성 없는 QKD의 보안이 달성될 수 있다.
• 추가 제약 조건이 없을 경우, 비신호성 적대자는 여러 시스템을 동시에 집단 공격할 수 있다.
• 제안된 프레임워크는 관측된 상관관계에만 기반하여 QKD 프로토콜에 대한 일반화된 보안 증명을 가능하게 한다.
• 보안 증명은 비밀번호 도청자의 정보를 제한하기 위해 볼록 최적화와 최소 엔트로피 기법에 의존한다.
• 결과적으로, 힐베르트 공간 차원이나 장치의 세부 사항을 알지 못하더라도 장치 의존성 보안이 가능함을 보여준다.
• 이 프레임워크는 인과성과 비통신 제약 조건이 안전한 키 추출을 보장하는 데 충분함을 시사한다.