[논문 리뷰] The Universal Composable Security of Quantum Key Distribution

Michael Ben-Or, Michał Horodecki외 3명|ArXiv.org|2004. 09. 14.

Physical Unclonable Functions (PUFs) and Hardware Security인용 수 4

한 줄 요약

이 논문은 양자 키 분배(QKD)에 대한 일반적이고 구성 가능한 보안 프레임워크를 수립한다. 구성 가능한 보안 정의를 도입하여 QKD로 생성된 키가 후속 프로토콜에서 사용되어도 여전히 안전함을 보장한다. 표준 QKD 보안이 구성 가능한 보안을 암시함을 증명함으로써, QKD와 키 사용 간의 동시 공격에 대한 오랫동안 지속된 우려를 해결하고, 반복적인 QKD 실행이 이 모델 하에서 보안을 천천히 떨어뜨림을 보여준다.

ABSTRACT

The existing unconditional security definitions of quantum key distribution (QKD) do not apply to joint attacks over QKD and the subsequent use of the resulting key. In this paper, we close this potential security gap by using a universal composability theorem for the quantum setting. We first derive a composable security definition for QKD. We then prove that the usual security definition of QKD still implies the composable security definition. Thus, a key produced in any QKD protocol that is unconditionally secure in the usual definition can indeed be safely used, a property of QKD that is hitherto unproven. We propose two other useful sufficient conditions for composability. As a simple application of our result, we show that keys generated by repeated runs of QKD degrade slowly.

연구 동기 및 목표

• 표준 정의가 QKD와 후속 키 사용 간의 동시 공격을 고려하지 않아 발생하는 보안 격차를 보완하기 위해.
• 임의의 후행 프로토콜에서 안전하게 사용될 수 있도록 보장하는 QKD에 대한 구성 가능한 보안 정의를 체계화하기 위해.
• 기존의 무조건적 보안 정의가 새로운 구성 가능한 보안 정의를 암시함을 증명하기 위해.
• 표준 정의를 초월한 구성 가능성에 필요한 조건을 특정하기 위해, 특히 반복 실행에 따른 키 열화를 포함하여.
• 구성 가능한 정의를 사용할 경우, 해커(Eve)가 측정을 지연시켜도 보안이 손상되지 않음을 보여주기 위해.

제안 방법

• 양자 환경에 적합하게 조정된 일반적 구성 가능한(UC) 보안 프레임워크를 도입하여, QKD를 환경과 시뮬레이터가 상호작용하는 프로토콜로 모델링한다.
• 실제 프로토콜과 이상적 프로토콜 간의 트레이스 거리에 기반한 구성 가능한 보안 조건을 정의하여, 실질적인 구분이 불가능함을 보장한다. 이는 허용 가능한 오차 ε 이내로 제한된다.
• 하이브리드 방법을 사용하여 실제 QKD 프로토콜과 이상적 기능 간의 트레이스 거리를 유계화한다. 이를 위해 중간 상태(ρ_qi1, ρ_qi2)를 구성하고 그 지향성(fidelity)을 분석한다.
• 최종 상태가 완벽한 EPR 쌍에 대해 높은 지향성일 경우 보안이 보장됨을 보여주는 지향성 기반 보안 기준을 적용한다.
• Eve의 상태에 대한 홀로보 정보와 가용 정보가 모두 무시할 수 있을 정도로 작을 경우, 구성 가능한 정의 하에서 키가 안전하다는 사실을 활용한다.
• 실제 프로토콜과 이상적 프로토콜 간의 트레이스 거리가 무시할 수 있을 정도로 작다는 것을 보여줌으로써, 표준 정의 하에서의 QKD 보안이 구성 가능한 보안을 암시함을 증명한다.

실험 결과

연구 질문

• RQ1 표준 QKD 보안 정의가 Eve가 측정을 지연시키더라도, 키가 후속 프로토콜에서 안전하게 사용될 수 있음을 보장할 수 있는가?
• RQ2 QKD와 키 적용 간의 동시 공격을 고려한 QKD에 대한 구성 가능한 보안 정의는 무엇인가?
• RQ3 표준 의미에서 무조건적으로 안전한 QKD 프로토콜이 새로운 구성 가능한 정의 하에서도 여전히 안전한가?
• RQ4 반복적인 QKD 사용이 키 보안에 어떤 영향을 미치며, 이 열화 현상은 구성 가능성 기준 하에서 정량화될 수 있는가?
• RQ5 특히 집합적 공격 하에서, 키가 양자 암호화에 사용될 경우 QKD의 보안이 유지될 수 있는가?

주요 결과

• 표준 무조건적 보안 정의가 새로운 구성 가능한 보안 정의를 암시함을 입증하여, 키가 어떤 후속 프로토콜에서도 안전하게 사용될 수 있음을 보장한다.
• 반복적인 QKD 실행 동안 생성된 키는 천천히 열화되며, 보안 손실은 실제 프로토콜과 이상적 프로토콜 간의 트레이스 거리로 유계화된다.
• 구성 가능한 보안 정의를 사용할 경우, Eve가 키 사용 후까지 측정을 지연시키더라도 그 정보 확보는 여전히 무시할 수 있을 정도로 작다.
• 앨리스와 백이 공유하는 최종 상태가 완벽한 EPR 쌍에 대해 높은 지향성을 가지면, 구성 가능한 보안을 위한 충분조건이 되며, 이는 Eve의 정보 확보가 무시할 수 있을 정도로 작다는 것을 의미한다.
• 구성 가능한 정의 하에서 모든 키에 대해 평균을 취한 Eve의 상태에 대한 가용 정보는 무시할 수 있을 정도로 작으며, 이는 키가 거의 균일하고 정확하게 공유됨을 보장한다.
• 논문은 표준 정의 하에서 QKD의 보안이 구성 가능성에 충분함을 수립하여, 양자 cryptograhy 분야에서 오랫동안 남아있던 열린 문제를 해결한다.