[논문 리뷰] Temporary Assumptions for Quantum Multi Party Protocols

Joern Mueller-Quade, H. Imai|arXiv (Cornell University)|2000. 10. 31.

Quantum Information and Cryptography인용 수 2

한 줄 요약

이 논문은 일시적인 가정에 기반한 양자 다자 프로토콜을 제안하며, 이러한 가정은 프로토콜 실행 중에만 유효하며, 고전적 다자 계산이 안전할 경우에만 안전한 계산을 가능하게 한다. 프로토콜 종료 후 허용 가능한 플레이어 협력의 상한을 엄밀하게 규명하고, 이러한 한계에 도달하는 프로토콜을 제시함으로써 결과 조작 및 방해 공격에 대한 보안을 확보한다.

ABSTRACT

This paper introduces quantum multiparty protocols which allow the use of temporary assumptions. We prove that secure quantum multiparty computations are possible if and only if classical multi party computations work. But these strict assumptions are necessary only during the execution of the protocol and can be loosened after termination of the protocol. We consider two settings: 1. A collusion of players tries to learn the secret inputs of honest players or tries to modify the result of the computation. 2. A collusion of players cheats in the above way or tries to disrupt the protocol, i.e., the collusion tries to abort the computation or leaks information to honest players. We give bounds on the collusions tolerable after a protocol has terminated and we state protocols reaching these bounds.

연구 동기 및 목표

• 실행 종료 후 폐기되는 일시적인 가정 하에 안전한 양자 다자 계산이 가능할지 탐구하는 것.
• 두 가지 위협 모델에서의 악성 거동을 분석하는 것: 비밀 정보를 탐지하거나 결과를 조작하려는 협력과, 프로토콜을 중단하거나 정보를 泄露하려는 협력.
• 두 위협 모델 모두에서 프로토콜 종료 후 허용 가능한 협력 크기를 결정하는 것.
• 두 상황 모두에서 이론적 협력 허용 한계에 도달하는 프로토콜을 설계하는 것.
• 일시적인 가정 하에 안전한 양자 다자 계산과 고전적 다자 계산 간의 형식적 동등성을 수립하는 것.

제안 방법

• 실행 중에만 사용되며 이후 폐기되는 가정을 사용하는 양자 다자 프로토콜 프레임워크를 도입한다.
• 두 가지 악성 설정을 모델링한다: 하나는 협력 플레이어가 입력 기밀성이나 출력 정확성을 목표로 하는 경우이며, 다른 하나는 프로토콜 중단이나 정보 泄露를 尝시도하는 경우이다.
• 형식적 암호 정의와 감소 증명을 사용하여 이러한 모델 하에서 프로토콜의 보안을 분석한다.
• 프로토콜의 구조와 사용된 가정에 기반하여, 프로토콜 종료 후 견딜 수 있는 협력 크기의 상한을 유도한다.
• 유도된 협력 허용 한계에 도달하는 구체적 프로토콜을 구성하여, 두 위협 모델 모두에서 보안을 확보한다.
• 일시적인 가정 하에 양자와 고전적 다자 계산 보안 간의 동등성을 기반으로 하며, 양자 보안을 고전적 보안으로 감소시킨다.

실험 결과

연구 질문

• RQ1 어떤 조건에서 일시적인 가정만을 사용할 경우 안전한 양자 다자 계산이 달성될 수 있는가?
• RQ2 프로토콜 종료 후 허용 가능한 최대 협력 크기는 위협 모델(예: 결과 조작 대 방해 공격)에 따라 어떻게 달라지는가?
• RQ3 실행 종료 후 이론적 상한에 도달하는 프로토콜을 구성할 수 있는가?
• RQ4 일시적인 가정 하에 양자 다자 프로토콜의 보안과 고전적 다자 프로토콜의 보안 간의 관계는 무엇인가?
• RQ5 일시적인 가정은 실행 종료 후 활성 공격자에 대한 양자 프로토콜의 내성에 어떤 영향을 미치는가?

주요 결과

• 일시적인 가정이 실행 중에 사용될 경우, 안전한 양자 다자 계산은 고전적 다자 계산이 안전할 경우에만 가능하다.
• 논문은 두 위협 모델 모두에서 프로토콜 종료 후 견딜 수 있는 협력 크기의 정확한 상한을 규명한다.
• 이론적 상한에 도달하는 프로토콜이 구성되어 실행 종료 후 협력에 대한 최적의 내성을 보여준다.
• 일시적인 가정은 실행 중 보안을 확보하는 데 충분하며, 종료 후 가정을 폐기하더라도 보안이 손상되지 않는다.
• 협력 당사자가 프로토콜을 방해하거나 정상 참가자에게 정보를 泄露하려는 尝도어라도 보안 보장이 유지된다.
• 결과는 일시적인 가정이 적용될 경우 양자 다자 프로토콜이 고전적 프로토콜의 보안 특성을 이어받을 수 있음을 보여준다.