[논문 리뷰] Towards the Impossibility of Non-Signalling Privacy Amplification from Time-Like Ordering Constraints

Rotem Arnon-Friedman, Esther Hänggi외 1명|arXiv (Cornell University)|2012. 05. 16.

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

한 줄 요약

이 논문은 비밀 유지 강화가 시간적 순서 제약 조건을 부과하더라도 여전히 불가능하다는 것을 보여주며, 특히 애리스와 보브의 시스템 내에서 신호 전파가 오직 앞으로만 금지되는 조건에서 이를 입증한다. 이는 이전의 가정과 물리적으로 관련 있는 조건 사이의 격차를 메운다. 이 결과는 이전의 불가능성 정리들을 확장하여, 후행 비신호성 또는 거의 후행 비신호성 시스템조차도 공격자가 비밀 유지 강화를 깨뜨릴 수 있음을 보여주며, 실용적인 QKD 프로토콜에서 보안을 확보하기 위해 양자역학이 비신호성 원리 이상으로 필수적임을 시사한다.

ABSTRACT

In the past few years there was a growing interest in proving the security of cryptographic protocols, such as key distribution protocols, from the sole assumption that the systems of Alice and Bob cannot signal to each other. This can be achieved by making sure that Alice and Bob perform their measurements in a space-like separated way (and therefore signalling is impossible according to the non-signalling postulate of relativity theory) or even by shielding their apparatus. Unfortunately, it was proven in [E. Haenggi, R. Renner, and S. Wolf. The impossibility of non-signaling privacy amplification] that, no matter what hash function we use, privacy amplification is impossible if we only impose non-signalling conditions between Alice and Bob and not within their systems. In this letter we reduce the gap between the assumptions of Haenggi et al. and the physical relevant assumptions, from an experimental point of view, which say that the systems can only signal forward in time within the systems of Alice and Bob. We consider a set of assumptions which is very close to the conditions above and prove that the impossibility result of Haenggi et al. still holds.

연구 동기 및 목표

• 기기 독립 암호에서 이전의 비신호성 가정과 물리적으로 현실적인 조건 사이의 격차를 메우기 위해.
• 각 당사자의 시스템 내에서 오직 앞으로만 신호 전파가 금지되는 시간적 순서 제약 조건 하에서 비밀 유지 강화가 보장될 수 있는지 조사하기 위해.
• 더 강력한 비신호성 가정, 예를 들어 후행 비신호성 또는 거의 후행 비신호성과 같은 조건이 도입될 경우에도 비밀 유지 강화의 불가능성이 유지되는지 확인하기 위해.
• 양자 키 분배(QKD) 프로토콜의 보안이 비신호성 원리만으로 증명될 수 있는지, 아니면 양자역학이 본질적으로 필요하는지 평가하기 위해.

제안 방법

• 앨리스, 보브, 그리고 공격자 이브를 포함하는 삼분면 시스템을 수학적으로 정의하며, 입력과 출력이 시간적 순서에 따라 제약을 받는다.
• 이브의 지식을 나타내는 조건부 시스템 $ P^{z=0} $ 를 도입하고, 시간적 제약 조건 하에서 이 시스템 내에서 비신호성 조건이 성립함을 증명한다.
• 대칭성과 셀 유형 동치성(예: $ x_0, x_1, y_<, y_> $)을 이용하여 보브 측의 마진 분포가 입력 순열에 대해 불변임을 보여준다.
• 레마를 적용하여, 이브의 결과에 조건을 두더라도 보브의 $ y_i $ 에 대한 행 합이 다양한 입력 구성에서도 유지됨을 증명한다.
• 이전의 [11]에서의 불가능성 결과를 확장하여, 새로운 더 물리적으로 타당한 가정 하에서도 핵심 논증이 성립함을 보여준다.
• PR-박스 근사와 오차 항을 활용하여 국소성의 제한된 비국소성 시스템을 모델링하고, 작은 변동 조건 하에서도 불가능성이 유지됨을 보여준다.

실험 결과

연구 질문

• RQ1 각 당사자의 시스템 내에서 오직 앞으로만 신호 전파가 금지되는 시간적 비신호성 조건 하에서 비밀 유지 강화를 달성할 수 있는가?
• RQ2 이전의 [11]에서의 비밀 유지 강화 불가능성 결과가 후행 비신호성 또는 거의 후행 비신호성과 같은 더 강력한 비신호성 가정이 도입된 경우에도 여전히 성립하는가?
• RQ3 후행 비신호성 시스템에서는 공격자의 능력에 본질적인 차이가 존재하여 비밀 유지 강화가 가능해질 수 있는가?
• RQ4 QKD 프로토콜의 보안이 비신호성 원리만으로 증명될 수 있는가, 아니면 양자역학이 본질적으로 필요한가?
• RQ5 앨리스와 보브의 출력이 모두 최종 키 생성에 사용되는 더 상호작용적인 프로토콜에서는 비밀 유지 강화가 가능한가?

주요 결과

• 비밀 유지 강화는 앨리스와 보브의 시스템 내에서 오직 앞으로만 비신호성이 성립한다는 가정 하에서도 여전히 불가능하며, 이는 이전의 가정에 대한 격차를 메운다.
• [11]에서의 불가능성 결과는 후행 비신호성 또는 거의 후행 비신호성 제약 조건이 적용된 시스템으로까지 확장되며, 이러한 가정이 비밀 유지 강화를 복원하지 못함을 시사한다.
• 이브의 지식을 나타내는 조건부 시스템 $ P^{z=0} $ 는 보브 측에서 비신호성 조건을 만족하며, 이는 공격자가 상관관계를 악용할 수 있음을 유지한다.
• 보브의 출력에 대한 행 합은 입력 순열에 대해 불변이며, 이는 다양한 구성에서 공격자의 전략을 유지하는 데 핵심적이다.
• 유한한 비국소성(예: 85% CHSH 위반) 조건 하에서도 핵심적인 불가능성이 유지됨을 보여주며, 이는 양자 시스템이 기본적인 제약 조건을 피할 수 없음을 시사한다.
• 결과적으로 실용적인 QKD 프로토콜의 보안 증명은 비신호성 원리 이상으로 양자역학에 의존해야 비밀 유지 강화를 달성할 수 있음을 시사한다.