[논문 리뷰] Upper Bounds for the Security of two Distributed-Phase Reference Protocols of Quantum Cryptography (Coherent-One-Way and Differential-Phase-Shift)

Cyril Branciard, Nicolas Gisin외 1명|arXiv (Cornell University)|2007. 10. 25.

Quantum Information and Cryptography참고 문헌 1인용 수 26

한 줄 요약

이 논문은 장거리 영역(d ≳ 50 km)에서 집단 공격의 광범위한 클래스에 대해 차등 위상 이동(DPS) 및 코herent-원웨이(COW) 양자 키 분배 프로토콜의 비밀 키 속도에 대한 엄밀한 상한을 설정한다. 이는 이브의 공격을 개별 펄스 또는 펄스 쌍과의 양자 상호작용으로 모델링함으로써, 채널 투과율 t에 대해 선형적으로 스케일링되는 보안 상한을 도출함으로써 이루어지며, 이는 두 프로토콜이 정교한 탈옥 전략에 대해 여전히 안전하다는 것을 보여주고, 강인성 향상을 위한 수정된 COW 변형을 제안한다.

ABSTRACT

The Differential-Phase-Shift (DPS) and the Coherent-One-Way (COW) are among the most practical protocols for quantum cryptography, and are therefore the object of fast-paced experimental developments. The assessment of their security is also a challenge for theorists: the existing tools, that allow to prove security against the most general attacks, do not apply to these two protocols in any straightforward way. We present new upper bounds for their security in the limit of large distances ($d \gtrsim 50$km with typical values in optical fibers) by considering a large class of collective attacks, namely those in which the adversary attaches ancillary quantum systems to each pulse or to each pair of pulses. We introduce also two modified versions of the COW protocol, which may prove more robust than the original one.

연구 동기 및 목표

• 장거리 영역(d ≳ 50 km)에서 가장 일반적인 집단 공격에 대해 DPS 및 COW 양자 키 분배 프로토콜의 보안성을 평가하는 것.
• 기존의 개별 공격 및 빔 스플리팅 공격 분석을 넘어서, 이브가 펄스 또는 펄스 쌍과 보조 양자 상태를 얽히게 하는 공격을 고려하여 분석을 확장하는 것.
• 이러한 일반화된 공격 모델 하에서 두 프로토콜의 비밀 키 속도에 대한 날카로운 상한을 도출하는 것.
• 간단함을 유지하면서 강인성을 향상시킬 수 있는 COW 프로토콜의 수정된 버전을 제안하고 분석하는 것.

제안 방법

• DPS 및 COW 프로토콜에서 이브가 개별 펄스 또는 펄스 쌍에 양자 보조 상태를 부착하는 집단 상호작용으로 탈옥 공격를 모델링하는 것.
• 간섭 무늬의 분해능 V와 신호 상태 간의 겹침을 유도하는 제약 조건을 만족시키기 위해 이브의 양자 상태를 매개변수화하는 것.
• 이브와 앨리스 사이의 상호정보 χ_AE와 이브와 박브 사이의 상호정보 χ_BE를 제약 조건 χ_AE ≤ χ_BE 하에 최적화하는 것. 이는 이브가 앨리스의 비트에 대해 박브의 비트보다 덜 정보를 확보한다는 것을 반영한다.
• 특히 두 펄스 공격(2PA) 모델에 대해 수치 최적화 기법을 적용하여 이브의 정보(χ_AE)를 최대화하는 것.
• 최적의 펄스 강도 μ_opt와 그로 인한 정보 누출을 분석함으로써 비밀 키 속도 r0에 대한 상한을 도출하는 것.
• 원래 프로토콜의 단순성을 유지하면서 신호 상태 구조를 조정함으로써 강인성이 향상된 수정된 COW 프로토콜을 도입하는 것.

실험 결과

연구 질문

• RQ1 장거리 양자 통신에서 집단 공격의 광범위한 클래스에 대해 DPS 및 COW 프로토콜의 비밀 키 속도에 대한 가장 날카로운 상한은 무엇인가요?
• RQ2 분해능 V < 1일 때, 다수의 펄스에 대해 얽힘을 이용한 일반화된 탈옥 전략이 DPS 및 COW 프로토콜의 보안에 어떻게 영향을 미치나요?
• RQ3 실제 적용에 적합한 단순성 유지와 함께 탈옥에 대한 강인성을 향상시킬 수 있는 COW 프로토콜의 수정된 버전을 설계할 수 있을까요?
• RQ4 최적화된 공격 모델에서 χ_AE ≤ χ_BE 가정이 얼마나 타당한가요? 이는 보안 상한에 어떤 영향을 미치나요?
• RQ5 채널 투과율 t와 분해능 V에 따라 최적의 펄스 강도 μ_opt와 그로 인한 비밀 키 속도 r0는 어떻게 변화하나요?

주요 결과

• 장거리 영역(d ≳ 50 km)에서 DPS 및 COW 프로토콜의 비밀 키 속도 상한은 채널 투과율 t에 대해 선형적으로 스케일링되며, 일반적인 공격 하에서도 유리한 키 속도 스케일링을 보여줍니다.
• 두 프로토콜 모두 최적의 두 펄스 공격(2PA) 모델이 한 펄스 공격(1PA) 모델보다 더 날카로운 보안 상한을 제공하며, 분해능 V < 1일 경우 2PA는 1PA보다 엄밀히 더 강력합니다.
• 모든 최적화된 공격 시나리오에서 이브가 앨리스의 비트에 대해 아는 정보(χ_AE)는 항상 그녀가 박브의 비트에 대해 아는 정보(χ_BE) 이하이며, 이는 보안 분석의 일관성을 확인합니다.
• DPS에 대한 2PA 모델의 수치 최적화 결과, 타당성 확보를 위해 검색 공간이 제한되었음에도 불구하고 유도된 상한이 실제 최적값에 매우 가까운 것으로 나타났습니다.
• 논문에서 제안한 수정된 COW 프로토콜은 원래 COW 프로토콜보다 더 강인함이 입증되어 실험적 구현에 실용적인 개선을 암시합니다.
• 분해능 V = 1일 때, 빔 스플리팅 공격(_BS A_다른 공격 모델의 특수한 경우로 복원되며, 이는 프레임워크의 일관성을 검증합니다.