[논문 리뷰] Cryptanalysis of the efficient two-party quantum private comparison protocol with decoy photons and two-photon entanglement

Zhiwei Sun, Dongyang Long|arXiv (Cornell University)|2012. 04. 20.

Quantum Information and Cryptography참고 문헌 3인용 수 4

한 줄 요약

이 논문은 YW 양자 개인 비교 프로토콜을 암호 분석하여, 손상된 제3자(TP)가 오차를 감지할 수 없도록 단서 없이 유닛리 단위로 인코딩 전후의 벨 상태 수의 변화를 분석하여 두 당사자 간의 비교 결과를 유추할 수 있음을 입증한다. 이 공격은 TP가 초기 EPR 쌍 분포를 알고 있으며, 샘플링 상태의 불변성을 악용하여 프로토콜 설계에 심각한 보안 결함을 드러낸다.

ABSTRACT

We analyze the security of the efficient two-party quantum private comparison protocol with decoy photons and two-photon entanglement. It is shown that the compromised third party (TP) can obtain the final comparison result without introducing any detectable errors in the standard semi-honest model. The attack strategy is discussed in detail and an improvement of this protocol is demonstrated. The idea of our attack might be instructive for the cryptanalysis of quantum cryptographic schemes.

연구 동기 및 목표

• 데코이 광자와 이중 광자 얽힘을 사용하는 YW 양자 개인 비교 프로토콜의 보안 취약점을 특정하고 분석하기.
• 반쯤 정직하지만 손상된 제3자(TP)가 감지 가능한 오차를 유발하지 않고도 비교 결과를 유추할 수 있음을 입증하기.
• TP가 초기 벨 상태 분포를 알고 있음으로써 상태 수 비교를 통해 입력의 동일성을 추론할 수 있음을 드러내기.
• 샘플링 큐비트를 인코딩 중 변경함으로써 정보 泄露를 방지할 수 있도록 프로토콜를 수정하는 대응 조치 제안하기.
• 양자 암호 프로토콜 설계에서 추가 정보 泄露를 최소화하는 것이 중요하다는 것을 강조하기.

제안 방법

• TP는 알려진 초기 벨 상태 분포를 가진 EPR 쌍을 준비하고, 각 벨 상태 유형의 수를 기록한다.
• TP는 보브와 찰리에게 전송하는 동안 도청을 탐지하기 위해 데코이 광자를 사용한다.
• 보브와 찰리가 자신의 기밀 입력에 따라 유닛리 연산을 수행한 후, TP는 반환된 얽힌 쌍에 대해 벨 기저 측정을 수행한다.
• TP는 초기 벨 상태 수와 측정 후 수를 비교하여 입력이 다를 경우를 나타내는 이질성을 탐지한다.
• 공격은 TP가 정확한 초기 분포를 알고 있으며, 인코딩 후 상태 수의 변화를 관찰할 수 있기 때문에 성공한다. 이는 TP가 개별 연산을 알지 못하더라도 가능하다.
• 대응 조치로 제안: 보브와 찰리는 QKD로부터 얻은 기밀 랜덤 값으로 샘플링 EPR 쌍에 유닛리 연산을 적용함으로써 샘플링 상태 분포를 변경하고 TP의 추론을 방지한다.

실험 결과

연구 질문

• RQ1 YW 프로토콜의 손상된 제3자(TP)가 감지 가능한 오차 없이 두 당사자 간의 비교 결과를 유추할 수 있는가?
• RQ2 왜 원래 YW 프로토콜은 반쯤 정직한 TP가 프로토콜를 따르지만 상태 수를 모니터링함으로써 실패하는가?
• RQ3 어느 특정 특성 덕분에 TP가 벨 상태 수 분석을 통해 입력의 비등가성을 추론할 수 있는가?
• RQ4 어떻게 프로토콜를 수정하여 TP가 상태 수 비교를 통해 비교 결과를 유추하지 못하도록 할 수 있는가?
• RQ5 미래의 양자 개인 비교 프로토콜 설계에서 의도하지 않은 정보 泄露를 최소화하기 위해 어떤 설계 원칙을 따라야 하는가?

주요 결과

• 손상된 TP는 각 벨 상태 유형의 초기 수와 최종 수를 비교하여 보브와 찰리의 입력이 동일한지 여부를 결정할 수 있다.
• 공격은 양자 채널에 감지 가능한 오차를 도입하지 않아 표준 도청 검사에서는 탐지되지 않는다.
• 공격 성공의 이유는 TP가 정확한 초기 벨 상태 분포를 알고 있으며, 유닛리 인코딩 후 상태 수의 변화를 관찰할 수 있기 때문이다.
• 입력 값이 동일할 경우, 벨 상태 수는 그대로 유지되며, 입력이 다를 경우 적어도 하나의 벨 상태 수가 변화하여 비등가성이 드러난다.
• 원래 프로토콜에서 인코딩 중에 변화하지 않는 고정된 샘플링 EPR 쌍은 TP에게 지속적인 사이드 채널을 제공한다.
• 안전한 개선 조치로 제안: 보브와 찰리는 기밀 랜덤 값으로 샘플링 EPR 쌍에 유닛리 연산을 적용함으로써 샘플링 상태 분포를 변경하고 TP의 추론을 방지한다.