[논문 리뷰] Finite-key security for quantum key distribution systems utilizing weak coherent states

Anton Kozubov, Andrei Gaidash외 1명|arXiv (Cornell University)|2019. 03. 11.

Quantum Information and Cryptography참고 문헌 2인용 수 5

한 줄 요약

이 논문은 약한 코herent 상태, 특히 위상 코herent 상태를 사용하는 양자 키 분배(QKD) 프로토콜에 대해 유한 키 보안 분석을 제시한다. 이는 완전한 양자 점차적 등비성 원리(QAAP) 기법을 사용한다. 이는 앨리스와 이브 사이의 상호정보량의 최대값이 홀레보 경계임을 보여주며, 이 분석을 서브캐리어 웨이브(SCW) QKD 프로토콜에 적용하여 실용적 파arameter를 고려한 채널 손실과 유한 키 길이에 따른 비밀 키율을 도출한다.

ABSTRACT

In this paper we present finite-key security analysis for quantum key distribution protocol based on weak coherent (in particular phase-coded) states using a fully quantum asymptotic equipartition property technique. This work is the extension of the proof for non-orthogonal states on the coherent states. Below we consider two types of attacks each of them maximizes either Alice-Eve or Eve-Bob mutual information. The cornerstone of this paper is that we do assume the possibility of crucial intercept-resend attack based on errorless unambiguous state discrimination measurement. We demonstrate that Holevo bound always gives the highest mutual information between Alice and Eve regardless particular kind of isometry. As the main result we present the dependence of the extracted secret key length. As the example we implement the proposed analysis to the subcarrier wave quantum key distribution protocol.

연구 동기 및 목표

• 실제 QKD 시스템에서 약한 코herent(비직교) 상태를 기반으로 하는 보안 증명의 유한 키 갭을 메우기 위해, 현재 존재하는 무조건적 증명이 다루지 않는 영역을 보완한다.
• 단일 광자 소스의 실용적 제약을 해결하기 위해, 실제 구현에서 일반적으로 사용되는 약한 코herent 상태를 사용하는 프로토콜을 분석한다.
• 장치의 비완전성으로 인해 실현 가능한 간섭-재전송을 통한 오류 없는 명확한 상태 식별 공격 가능성을 고려한다.
• 실제 QKD 시스템, 예를 들어 서브캐리어 웨이브(SCW) QKD와 같은 실용적 환경에서 적용 가능한 엄밀한 유한 키 보안 프레임워크를 제공한다.
• 유한 키 길이, 오류 수정, 프라이버시 증폭을 고려한 명시적 비밀 키율 표현식을 유도하여 현실 조건에서의 성능 평가를 가능하게 한다.

제안 방법

• 유한 키 보안 분석을 위해 약한 코herent 상태 QKD 프로토콜에 대해 완전한 양자 점차적 등비성 원리(QAAP) 기법을 적용한다.
• 두 가지 유형의 공격을 고려한다: i.i.d. 라운드를 가정할 때 앨리스-이브 상호정보량을 최대화하는 공격과, 이브-밥 상호정보량을 최대화하는 공격.
• 적대자(이브)의 양자 상태에 대한 행동을 기술하기 위해 CPTP 매핑 형식을 사용하고, 홀레보 경계를 상호정보량의 상한으로 도출한다.
• 아벨 순환군 $ C_M $ 기반의 상태 공간 표현을 도입하고, 위상 코herent 상태 $ |ar{oldsymbol{ u}}_j angle $ 를 사용하며, 기약 표현을 통해 상태 공간을 대칭화한다.
• 지향형 검출기의 만델 근사법을 사용하여 탐지 확률을 유도하고, 검출기 효율 $ ho_D $, 어둠의 카운트 비율 $ ho_{\text{dark}} $, 펄스 지속 시간 $ T $ 를 포함한다.
• 스펙트럼 필터링을 적용하여 캐리어 웨이브에서 사이드밴드를 분리하고, 잔류 캐리어 누설을 $ heta \to \theta \times \nu $ 로 모델링하며, 위그너 d-함수 $ d^S_{nk}(\beta) $ 를 사용해 사이드밴드의 광자 수를 계산한다.

실험 결과

연구 질문

• RQ1 일반적인 공격 조건 하에서 약한 코herent 상태, 특히 위상 코herent 상태를 사용하는 QKD 프로토콜에 대해 엄밀한 유한 키 보안 증명를 확립할 수 있는가?
• RQ2 명확한 상태 식별 공격이 가능한 상황에서 홀레보 경계는 앨리스와 이브 사이의 최대 상호정보량을 어떻게 제약하는가?
• RQ3 유한 키 길이가 오류 수정 및 프라이버시 증폭을 고려할 때 약한 코herent 상태 QKD의 비밀 키율에 어떤 영향을 미치는가?
• RQ4 서브캐리어 웨이브(SCW) QKD 프로토콜은 유한 키 분석 하에서 어떻게 성능을 발휘하며, 실용적 실험 파arameter 하에서 도달 가능한 비밀 키율은 무엇인가?
• RQ5 잔류 캐리어 누설 및 위상 불안정성과 같은 결함이 약한 코herent 상태 QKD 시스템의 보안성과 성능에 어느 정도의 영향을 미치는가?

주요 결과

• 홀레보 경계는 이브가 사용하는 특정 등장사상의 종류에 관계없이 항상 앨리스와 이브 사이의 상호정보량의 최대값을 제공하며, 기본적인 보안 한계를 확립한다.
• 서브캐리어 웨이브(SCW) QKD 시스템의 경우, 비밀 키율이 채널 손실의 함수로 유도되었으며, 유한 키 길이 $ n $ 에 대한 명시적 의존성과 함께 오류 수정, 프라이버시 증폭, 보안 파arameter를 반영한 수정 항목이 포함되어 있다.
• 비밀 키율 표현식(식 40)은 $ \frac{1}{\bar{n}} $ 스케일링을 갖는 유한 키 손실을 보이며, $ \frac{1}{\bar{n}} \times \big( k + \text{code}_{\text{EC}} + \text{log}(1/\bar{\rho}_{\text{EC}}) + \text{log}(1/\bar{\rho}_{\text{PA}}) - 2 \big) $ 를 포함하는 수정 항목을 통해 실용적 오버헤드를 반영한다.
• $ n = 10^6 $ 일 때 오류 수정 샘플 크기 $ k $ 는 총 수신 펄스의 약 4%이며, $ n = 10^7 $ 일 때는 약 2%로 감소하여 더 긴 키에서 오버헤드가 점점 줄어든다.
• 분석 결과, 실용적 파arameter(예: $ \theta = 10^{-3} $, $ \rho_D = 25\text{\%} $, $ \rho_{\text{dark}} = 25 \text{Hz} $, $ \text{loss} = 6.4 \text{dB} $) 조건 하에서도 고손실 조건에서도 비밀 키율이 유지됨을 보여주며, 장거리 QKD를 지원한다.
• 성능 시뮬레이션(Fig. 2)은 다양한 채널 손실 범위에서 비밀 키율이 확보 가능함을 보여주며, 고대역폭·장거리 양자 네트워크에 대한 SCW QKD의 실용성을 검증한다.