[논문 리뷰] Is the security of quantum cryptography guaranteed by the laws of physics?

Daniel J. Bernstein|arXiv (Cornell University)|2018. 03. 12.

Quantum Mechanics and Applications참고 문헌 10인용 수 7

한 줄 요약

이 논문은 양자 키 분배(QKD)의 보안이 물리법칙에 의해 보장된다는 광범위하게 널리 퍼진 주장에 도전한다. 기존 QKD 보안 증명들이 앨리스와 보브의 실제 물리적 행동을 추상화함으로써 전자기학과 중력과 같은 기본 물리법칙을 忽略하여, '물리학 기반 보안' 주장이 논리적으로 불합리하고 경험적으로 정당화될 수 없게 된다고 주장한다.

ABSTRACT

It is often claimed that the security of quantum key distribution (QKD) is guaranteed by the laws of physics. However, this claim is content-free if the underlying theoretical definition of QKD is not actually compatible with the laws of physics. This paper observes that (1) the laws of physics pose serious obstacles to the security of QKD and (2) the same laws are ignored in all QKD "security proofs".

연구 동기 및 목표

• QKD 보안이 물리법칙에 의해 보장된다는 일반적인 주장에 도전하기 위해.
• 전자기학과 중력과 같은 물리법칙을 명시적인 가정으로 포함하지 않는 QKD 보안 증명의 논리적 모순을 드러내기 위해.
• 기존 증명에서 앨리스와 보브의 물리적 행동이 물리법칙에 의해 제약을 받지 않음을 입증하여, 근본적인 보안 주장이 흔들림을 입증하기 위해.
• 측면채널 공격과 구현 결함가 단순한 '수정 가능한 실수'가 아니라, 이론적 증명에서 무시된 물리적 제약을 위반했을 때 발생할 수 있는 잠재적 결과임을 주장하기 위해.
• 검증 불가능한 '물리학 기반 보장'에서 물리적 자원 제약에 기반한 비용 기반 보안 모델로의 전환을 주장하기 위해.

제안 방법

• QKD 보안 증명의 구조를 분석하고, 맥스웰 방정식, 뉴턴의 만유인력 법칙과 같은 물리법칙을 명시적으로 포함하지 않는 것을 근본적인 결함으로 지목한다.
• QKD 프로토콜에서의 추상적 가정(예: 앨리스와 보브의 관측되지 않은 양자 작동)을 분석하고, 이러한 가정이 물리적 기반을 갖추지 못하고 있음을 주장한다.
• 실제 세계의 측면채널 공격(예: 광자 수 분할 공격, 검출기 제어)이 이론적 증명에서 忽略된 물리적 상호작용을 악용한다는 점을 강조한다.
• 물리학이 보안을 보장한다고 주장하기보다는, 에너지, 시간, 천체물리적 상수 등의 자원 제약을 사용해 물리적 공격의 비용을 기반으로 QKD를 평가할 것을 제안한다.
• CHES 컨퍼런스 시리즈에서 채택된 방법론을 도입하여 물리적 공격 비용과 방어 메커니즘을 철저히 모델링할 것을 제안한다.
• 물리적 인코딩 선택(예: 현대 CPU 사용, 차폐, 노이즈 주입)이 해독 공격의 비용을 증가시켜 계산적으로 무한한 공격자에게도 공격을 비가능하게 만들 수 있음을 제안한다.

실험 결과

연구 질문

• RQ1 QKD 보안 증명이 전자기학과 중력과 같은 알려진 물리법칙과 실제로 호환되는가?
• RQ2 물리학 기반 보안을 주장하면서도 QKD 보안 증명이 왜 물리법칙을 명시적인 가정으로 포함하지 않는가?
• RQ3 실제 세계의 QKD 시스템에 대한 측면채널 공격이 이론적 증명에서 무시된 비물리적 가정을 얼마나 심각하게 위반하는가?
• RQ4 앨리스와 보브의 물리적 행동이 증명에서 물리법칙에 의해 제약을 받지 않는 한, QKD 보안이 물리법칙에 의해 진정으로 보장될 수 있는가?
• RQ5 추상적인 물리 원리가 아닌 물리적 자원 비용에 기반한 더 현실적이고 정당화된 QKD 보안 모델을 수립할 수 있는가?

주요 결과

• 기존 보안 증명이 맥스웰 방정식이나 일반 상대성 이론과 같은 물리법칙을 가정으로 포함하지 않기 때문에 QKD 보안은 물리법칙에 의해 보장되지 않는다.
• 이론적 QKD 증명은 앨리스와 보브의 관측되지 않은 양자 작동을 가정하지만, 이러한 행동이 물리법칙에 의해 제약을 받지 않기 때문에 이러한 가정은 물리적으로 실현 불가능하다.
• 광자 수 분할 공격나 검출기 제어와 같은 QKD에 대한 측면채널 공격은 이론적 증명에서 忽略된 물리적 상호작용을 악용하기 때문에 성공한다.
• QKD가 '물리법칙에 의해 보장된다'는 주장은 논리적으로 불일치하며, 증명이 프로토콜이 그 법칙을 충족하는지 검증하지 않기 때문이다.
• 홀로그래픽 원리와 같은 물리적 제약은 관측되지 않은 양자 작동조차도 해독자가 접근할 수 있음을 시사하여, 비밀성 가정을 뒤엎는다.
• 더 현실적인 보안 모델은 물리적 공격 비용에 기반해야 하며, 에너지, 시간, 천체물리적 상수 등의 자원 제약을 사용해 실질적인 보안 경계를 정의해야 한다.