[논문 리뷰] Semi-quantum private comparison protocol under an almost-dishonest third party

Wen-Han Chou, Tzonelih Hwang외 1명|arXiv (Cornell University)|2016. 07. 27.

Quantum Information and Cryptography참고 문헌 26인용 수 35

한 줄 요약

이 논문은 두 명의 고전 사용자가 제3자(거의 부정직한 자)와 함께 비밀 데이터를 안전하게 비교할 수 있도록 하는 반양자 개인 비교 프로토콜을 제안한다. 이 제3자는 프로토콜에서 약간 벗어나지만 완전히 공모하지는 못한다. 프로토콜은 양자 상태와 측정 기저를 활용하여 기밀성을 보장하며, 보안 분석을 통해 참가자 공격 및 참가자 제어 공격과 같은 일반적인 공격에 저항함을 확인한다. 이는 제3자에 대한 신뢰 수준을 완화한 조건에서 실용적인 반양자 보안 비교로의 중대한 발걸음이다.

ABSTRACT

This study presents the first semi-quantum private comparison protocol under an almost-dishonest third party. The proposed protocol allows two classical participants to compare their secret information without compromising it's privacy. The security analyses indicate that the protocol is free from several well-known attacks.

연구 동기 및 목표

• 두 고전 사용자가 상대방이나 잠재적으로 손상된 제3자에게도 비밀 데이터를 드러내지 않고 개인 데이터를 비교할 수 있도록 하기.
• 제3자가 일부로 부정행위를 하지만 완전히 공모하지는 않는 조건에서 기존 프로토콜의 보안 한계를 해결하기.
• 제3자가 프로토콜 규칙을 약간 어겨도 기밀성과 무결성을 유지할 수 있도록 프로토콜을 설계하기.
• 참가자가 최소한의 양자 능력을 갖춘 실용적인 솔루션을 제공하기.
• 완전히 신뢰할 수 있는 제3자라는 가정을 완화함으로써 반양자 프로토콜에 대한 신뢰를 강화하기.

제안 방법

• 제3자(TP)가 얽힌 벨 상태를 준비하고 측정하여 비교 과정을 지원한다.
• 고전 사용자가 자신의 비밀 값에 따라 특정 기저(예: 계산 기저 또는 하다르드 기저)에서 큐비트를 준비하고 측정한다.
• TP는 두 사용자가 보낸 큐비트에 대해 벨 상태 측정을 수행하고 측정 결과를 공개적으로 발표한다.
• 제품의 일부 큐비트를 사용하여 도청 또는 사기 행위를 탐지하기 위한 검증 단계를 통합한다.
• 양자 불가구분성과 기저 검증을 통해 보안을 확보한다.
• 참가자 및 TP 공격, 특히 TP가 사용자의 비밀을 알아내려는 시도에 대비해 프로토콜가 저항하도록 설계된다.

실험 결과

연구 질문

• RQ1 거의 부정직한 제3자 조건에서도 안전한 반양자 개인 비교 프로토콜을 구성할 수 있는가?
• RQ2 잠재적으로 이탈하는 제3자에 의존하면서도 고전 사용자가 자신의 비밀을 드러내지 않고 비교할 수 있는 방법은 무엇인가?
• RQ3 사용자가 완전한 양자 능력을 갖추지 않더라도 제3자의 사기 행위를 탐지하고 방지하기 위한 메커니즘은 무엇인가?
• RQ4 프로토콜은 참가자 공격과 제3자 공격 양쪽에 대해 어떻게 기밀성을 보장하는가?
• RQ5 제3자의 이탈이 프로토콜의 정확성과 보안에 어떤 영향을 미치는가?

주요 결과

• 프로토콜은 두 고전 사용자가 서로나 제3자에게 비밀 데이터를 드러내지 않고도 개인 데이터를 비교할 수 있음을 성공적으로 보여주었다.
• 보안 분석을 통해 프로토콜이 참가자 공격, 특히 참가자 제어 공격에 저항됨을 확인하였다.
• 제3자가 프로토콜에서 약간 이탈하더라도, 한 명의 사용자와 완전히 공모하지 않는 한 프로토콜은 여전히 안전하다.
• 벨 상태 측정과 기저 검증을 통해 제3자가 도청하거나 사기 행위를 시도하는 것을 사용자가 탐지할 수 있다.
• 최소한의 양자 연산을 통해 기밀성과 정확성을 달성하여, 근접한 양자 응용에 적합하다.
• 이 프로토콜은 거의 부정직한 제3자 모델 하에서 반양자 개인 비교를 처음으로 다루었으며, 실용적인 다자간 보안 계산의 범위를 넓혔다.