[논문 리뷰] Composing Quantum Protocols in a Classical Environment

Serge Fehr, Christian Schaffner|ArXiv.org|2008. 04. 07.

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

한 줄 요약

이 논문은 고전적 양자 프로토콜이 고전적 두 당사자 작업을 구현할 때 사용할 수 있는 단순한 정보이론적 보안 정의를 제안한다. 이 정의는 고전적 프로토콜 내에서 하위 프로토콜로 사용될 때도 보안을 보장한다. 주요 기여는 보안 정의를 만족하는 양자 프로토콜을 사용해 이상 기능을 대체할 경우, 어떤 고전적 외부 프로토콜에서도 보안이 유지됨을 보여주는 구성 정리이다.

ABSTRACT

We propose a general security definition for cryptographic quantum protocols that implement classical non-reactive two-party tasks. The definition is expressed in terms of simple quantum-information-theoretic conditions which must be satisfied by the protocol to be secure. The conditions are uniquely determined by the ideal functionality F defining the cryptographic task to be implemented. We then show the following composition result. If quantum protocols pi_1,...,pi_k securely implement ideal functionalities F_1,...,F_k according to our security definition, then any purely classical two-party protocol, which makes sequential calls to F_1,...,F_k, is equally secure as the protocol obtained by replacing the calls to F_1,...,F_k with the respective quantum protocols pi_1,...,pi_k. Hence, our approach yields the minimal security requirements which are strong enough for the typical use of quantum protocols as subroutines within larger classical schemes. Finally, we show that recently proposed quantum protocols for oblivious transfer and secure identification in the bounded-quantum-storage model satisfy our security definition, and thus compose in the above sense.

연구 동기 및 목표

• 암호학적 응용 분야에서 양자 프로토콜에 대한 표준화되고 실용적인 보안 정의의 부족을 해결하기 위해.
• 양자 프로토콜이 고전적 프로토콜 내에서 하위 프로토콜로 안전하게 구성될 수 있도록 보장하는 최소한의 보안 조건을 정의하기 위해.
• 강력한 구성 가능성 보장을 유지하면서도 구현 가능하고 효율적인 보안 요구 조건을 균형 있게 제공하는 프레임워크를 제공하기 위해.
• 기존의 유한 양자 스토리지 모델에서의 양자 프로토콜이 제안된 정의를 만족함을 보여주기 위해.
• 예를 들어 오블리버러스 트랜스퍼 기반의 정보이론적 고전적 구성에서 양자 하위 프로토콜을 사용할 수 있는 기초를 마련하기 위해.

제안 방법

• 모의 기준이나 환경을 요구하지 않고, 프로토콜의 출력 상태에 대한 단순한 양자 정보이론적 조건을 통해 보안을 정의한다.
• 적대자의 시야와 정상적인 당사자의 입력 간의 근사적 독립성을 조건으로 하되, 트레이스 거리로 정량화한다.
• 실제 프로토콜의 출력 분포와 이상 기능의 출력이 트레이스 거리 기준으로 구분 불가능하다는 점을 보안으로 정의한다.
• 보안을 트레이스 거리와 양자 상태 근사로 정량화하며, 이상 행동에서의 편차를 제어하는 오차 매개변수(예: ε)를 사용한다.
• 특정 프로토콜, 예를 들어 유한 양자 스토리지 모델에서의 1-중 2 오블리버러스 트랜스퍼와 보안 인증에 정의를 적용한다.
• 구성 정리를 증명한다: 이상 기능을 보안 정의를 만족하는 양자 프로토콜로 대체해도, 어떤 고전적 외부 프로토콜에서도 보안이 유지된다.

실험 결과

연구 질문

• RQ1 큰 고전적 프로토콜 내에서 하위 프로토콜로 안전하게 사용될 수 있도록 하기 위해 필요한 최소한의 보안 조건는 무엇인가?
• RQ2 유니버설 구성 가능성이나 모의 기반 프레임워크와 같은 복잡한 모델에 의존하지 않고, 양자 프로토콜의 보안 정의를 어떻게 구성할 수 있는가?
• RQ3 유한 양자 스토리지 모델에서의 오블리버러스 트랜스퍼 및 인증을 위한 기존 양자 프로토콜이 이 새로운 정의 하에서 안전함을 입증할 수 있는가?
• RQ4 이러한 정의가 양자 하위 프로토콜이 고전적 프로토콜에 통합될 때 구성 가능성을 보장하는가?
• RQ5 보안 강도와 구현 가능성 사이의 트레이드오프는 무엇이며, 이를 수학적으로 정의할 수 있는가?

주요 결과

• 제안된 보안 정의는 실질적이고 이상적 프로토콜의 출력 간 트레이스 거리 조건에 기반하여 단순하고 정보이론적이다.
• 이 정의는 이상 기능을 순차적으로 호출하는 어떤 고전적 프로토콜이라도, 그 이상 기능을 보안 정의를 만족하는 양자 프로토콜로 대체해도 동일한 보안 수준을 유지함을 보장한다.
• 유한 양자 스토리지 모델에서의 1-중 2 오블리버러스 트랜스퍼 프로토콜은 4ε의 보안 손실을 동반하지만, 이 정의를 만족함으로써 구성 가능함을 증명한다.
• 적대자의 시야가 정상 당사자의 입력과 근사적으로 독립적이며, 트레이스 거리 기준으로 제한되어 있음을 보여줌으로써 앨리스와 보브 양측의 보안이 확립된다.
• 구성 정리는 외부 프로토콜이 고전적임을 전제로 하며, 이는 현재의 기술적 제약을 반영하고 더 완화된, 실용적인 보안 조건을 가능하게 한다.
• 불량 플레이어의 입력 분포에 의존하지 않도록 상태 근사와 트레이스 거리 부등식을 사용한 증명 기법을 통해 다양한 시나리오에 대해 강건함을 확보한다.