[논문 리뷰] Contextuality offers device-independent security

Karol Horodecki, Michał Horodecki외 4명|arXiv (Cornell University)|2010. 06. 02.

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

한 줄 요약

이 논문은 비국소성 대신 양자 연속성에 기반한 최초의 장치 독립형 양자 키 분배 프로토콜을 제안하며, 정보 취득과 교란 사이의 기본적인 양자 상충 관계가 장치를 신뢰하지 않고도 보안에 활용될 수 있음을 입증한다. 완벽한 상관관계를 가진 이변수 설정에서 코헨-스피커 역설을 활용함으로써, 공격자가 장치를 제작하더라도 안전한 키 추출이 보장되며, 이는 BB84 원리의 직접적인 운영적 구현을 의미한다.

ABSTRACT

The discovery of quantum key distribution by Bennett and Brassard (BB84) bases on the fundamental quantum feature: incompatibility of measurements of quantum non-commuting observables. In 1991 Ekert showed that cryptographic key can be generated at a distance with help of entangled (correlated) quantum particles. Recently Barrett, Hardy and Kent showed that the non-locality used by Ekert is itself a good resource of cryptographic key even beyond quantum mechanics. Their result paved the way to new generation of quantum cryptographic protocols - secure even if the devices are built by the very eavesdropper. However, there is a question, which is fundamental from both practical and philosophical point of view: does Nature offer security on operational level based on the original concept behind quantum cryptography - that information gain about one observable must cause disturbance to another, incompatible one? Here we resolve this problem by using another striking feature of quantum world - contextuality. It is a strong version of incompatibility manifested in the famous Kochen-Specker paradox. The crucial concept is the use of a new class of families of bipartite probability distributions . We show that if two persons share systems which locally exhibit the Kochen-Specker paradox and, in addition, exhibit perfect correlations, then they can extract secure key, even if they do not trust the quantum devices. This is the first operational protocol that directly implements the fundamental feature of Nature: the information gain vs. disturbance trade-off. For sake of proof we exhibit a new Bell's inequality which is interesting in itself. The security is proved not by exploiting strong violation of the inequality by quantum mechanics (as one usually proceeds), but rather by arguing, that quantum mechanics cannot violate it too much.

연구 동기 및 목표

• BB84 원리—정보 취득이 교란을 유도함—이 장치 독립적 방식으로 실현될 수 있는지에 대한 열린 질문을 해결하기 위해.
• BB84 및 그 얽힘 기반 버전(BBM)이 장치 독립적 보안 확장을 갖지 못하는 한계를 극복하기 위해.
• 특히 코헨-스피커 역설을 포함한 연속성이 장치 독립적 보안을 위한 자원이 될 수 있음을 입증하기 위해.
• 국소적으로 코헨-스피커 역설을 나타내고 전역적으로 완벽한 상관관계를 보이는 이변수 확률 분포의 가족을 구성하기 위해.

제안 방법

• 두 쌍의 얽힌 qubit이 최대 얽힘 상태에 있을 때, 페레스-머민 연속성 시나리오의 분산형 버전을 사용한다.
• 앨리스와 보브는 서로 간에 상호 불가침 관측량의 집합에서 측정을 수행하며, 이는 코헨-스피커 역설을 실현한다.
• 프로토콜은 네바스예스-피리오-아신(NPA) 계층의 두 번째 수준에 의해 제한되는 새로운 벨 유형 부등식에 의존한다. 이는 비국소성을 제한한다.
• 보안은 최대 양자 위반을 통해 증명되지 않고, 양자역학이 이 부등식을 너무 강하게 위반할 수 없음을 보여줌으로써, 해커의 정보 취득 가능성을 제한한다.
• 프로토콜은 이브의 개별 공격을 가정하고, 오류 수정 및 프rivacy 증폭을 통해 안전한 키를 추출한다.
• 프레임워크는 장치 독립적이다: 보안은 장치의 내부 구조나 신뢰도에 관계없이 측정 통계만으로 검증된다.

실험 결과

연구 질문

• RQ1 BB84 원리의 기본적인 정보-교란 상충 관계가 장치 독립적 프로토콜에서 실현될 수 있는가?
• RQ2 특히 코헨-스피커 역설을 포함한 연속성이 양자 키 분배에서 장치 독립적 보안을 가능하게 할 수 있는가?
• RQ3 국소적으로 연속성이 나타나고 전역적으로 완벽한 상관관계를 보이는 이변수 시스템이 양자역학을 가정하지 않고도 안전한 키를 생성할 수 있는가?
• RQ4 비국소성은 연속성 기반 보안에서 어떤 역할을 하는가? 비국소성 기반 프로토콜과는 어떻게 다를까?
• RQ5 최대 양자 위반을 가정하지 않고도 이러한 프로토콜의 보안을 확립할 수 있는가? 대신 비국소성의 정도를 제한함으로써 가능할까?

주요 결과

• 프로토콜은 비국소성 대신 연속성을 활용함으로써 장치 독립적 보안을 달성하며, 정보-교란 상충 관계의 BB84 원리를 직접적으로 실현한다.
• 최대 양자 위반이 NPA 계층의 두 번째 수준에 의해 제한되는 새로운 벨 부등식이 유도되었다. 이는 해커의 공격 성공률를 제한한다.
• 이브가 교란 없이 일부 정보를 취득할 수는 있지만, 그 정보 취득량은 공유 상관관계(2비트)보다 엄격히 작으며, 이는 안전한 키 추출을 가능하게 한다.
• 프로토콜은 개별 공격에 대해 안전하며, 저자들은 마사네스 등과 아신 등이 개발한 기법을 활용해 더 강력한 보안을 확보할 수 있을 것으로 제안한다.
• 이 프레임워크는 연속성이 장치 독립 암호화의 자원이 될 수 있음을 보여주며, 비국소성 기반 프로토콜 외의 새로운 길을 열어준다.
• 분산된 코헨-스피커 역설을 분석함으로써, 신호 전파 금지 조건만으로도 장치 독립 프로토콜을 구성할 수 있는 가능성을 제시한다.