[논문 리뷰] Yuen's Criticisms on Security of Quantum Key Distribution and Onward

Takehisa Iwakoshi|arXiv (Cornell University)|2017. 01. 01.

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

한 줄 요약

이 논문은 양자 키 분배(QKD)의 보안을 평가하는 데 사용되는 표준 추적 거리 지표가 최대 실패 확률이나 실제 탈취 성공 확률을 신뢰성 있게 표현하지 못한다는 점을 비판적으로 분석한다. 분석 결과, QKD의 보안 주장—특히 일회용 키(OTP) 호환성에 관해—는 엄격한 검토를 거치면 성립하지 않으며, 특히 ε가 충분히 작지 않은 경우에 그 본질적인 보장성이 훼손되고 실용적 적용 가능성에 대한 우려가 제기된다.

ABSTRACT

Quantum Key Distribution (QKD) has been attracting researchers that it would provide provable security to distribute secret keys since its birth in 1984. Since 2005, the trace distance between an ideal quantum state and an actually distributed state has been employed to evaluate its security level, and the trace distance was given an interpretation that it would be a maximum failure probability in distributing perfectly secure keys. However, in 2009, H. P. Yuen criticized that the trace distance would not have such an interpretation. Since then, O. Hirota, K. Kato, and T. Iwakoshi have been warning to make people pay attention to Yuen's criticisms. In 2015, T. Iwakoshi precisely explained why Yuen has been correct. In 2016, Yuen himself published a paper to explain the potentially unsolved problems in QKD. This study precisely explains the most important problems given in Yuen's paper, and gives recent topics around QKD and other quantum cryptographic protocols.

연구 동기 및 목표

• 추적 거리 해석에 기반해 허프먼 P. 유텐(H. P. Yuen)의 2009년 및 2016년 QKD 보안 주장에 대한 비판을 분석하기 위해.
• QKD 프로토콜에서 추적 거리가 실제로 탈취 성공 확률을 어떻게 제한하는지 평가하기 위해.
• 일회용 키(OTP) 보안에 있어 비균일한 키 분포가 미치는 영향을 조사하기 위해.
• 기존 텍스트 공격과 비트 오류율 가정 하에 QKD의 보안 보증의 타당성을 평가하기 위해.
• KCQ(Y-00)와 같은 대체 양자 암호 프로토콜이 QKD의 대안으로서 가능성이 있는지 탐색하기 위해.

제안 방법

• 실제 양자 상태 ρABE와 이상 상태 τAB ⊗ τE 간의 추적 거리 기반 보안 정의(ε-보안)를 사용하여 비교한다.
• 추적 거리와 함께 탈취 성공 확률 Pr(K|E)를 유도하고, 이가 ε 자체가 아니라 ε + 2−|K|로 제한됨을 보여준다.
• 키를 알려진 부분과 알 수 없는 부분으로 나누어 기존 텍스트 공격에 동일한 수학적 프레임워크를 적용하여, Pr(K|E)가 여전히 ε + 2−|K|로 제한됨을 보여준다.
• 비트 오류율 보장(BERG) 개념을 도입하여, 탈취자 성공 확률이 키 추정의 오류율에 의존함을 주장한다.
• 키 생성 속도와 보안 간의 상충 관계, 특히 심플로지 정보 泄露와의 관련성을 분석한다.
• KCQ(Y-00) 및 양자 밝힘 기반 기법과 같은 대체 프로토콜을 검토하여 QKD보다 더 나은 확장성과 보안을 제공할 수 있음을 제시한다.

실험 결과

연구 질문

• RQ1 QKD에서 추적 거리가 실제로 키 분배의 최대 실패 확률을 나타내는가?
• RQ2 탈취 성공 확률 Pr(K|E)는 추적 거리 ε로 제한될 수 있는가, 아니면 유텐이 주장하는 바와 같이 더 클 수 있는가?
• RQ3 비균일한 키 분포가 QKD에서 일회용 키 암호화 보안에 얼마나 심각하게 영향을 미치는가?
• RQ4 탈취자의 키 추정에서의 비트 오류율은 평문의 기밀성에 어떤 영향을 미치는가?
• RQ5 KCQ와 같이 QKD의 실용적 보안과 확장성에서 더 나은 성능을 보일 수 있는 대체 프로토콜이 존재하는가?

주요 결과

• 추적 거리 ε는 QKD의 최대 실패 확률을 나타내지 않으며, 오히려 탈취 성공 확률 Pr(K|E)는 ε + 2−|K|로 제한되며, 이는 ε보다 크다.
• ε = 2−50 이고 |K| = 10^6 일 때, 탈취 확률 Pr(K|E)는 약 2−50이며, 이는 일본의 자동차 1대당 연간 사망률과 유사하여 QKD가 AES-256보다 덜 안전하다는 것을 의미한다.
• ε가 충분히 작지 않은 경우 기존 텍스트 공격이 비면밀 확률로 성공할 수 있어, QKD 키가 균일하게 분포되어 있다는 가정이 훼손된다.
• 탈취자의 키 추정에서의 비트 오류율은 평문 기밀성에 큰 영향을 미치며, 심지어 작은 오류율(예: QE = 2.5×10−6)이라도 ε가 충분히 작지 않다면 거의 확실한 복호화로 이어질 수 있다.
• 심플로지 정보 유출이 발생할 경우 QKD의 보안이 떨어지며, 이를 보장하기 위해서는 열악해진 키의 보안 수준을 신중히 평가해야 한다.
• KCQ(Y-00) 및 양자 밝힘 기반 기법과 같은 대체 프로토콜은 DARPA의 성능 요구사항을 충족할 수 있으며, QKD보다 더 나은 실용적 보안을 제공할 수 있다.