[논문 리뷰] Composable security of measuring-Alice blind quantum computation

Tomoyuki Morimae, Takeshi Koshiba|arXiv (Cornell University)|2013. 06. 10.

Quantum Computing Algorithms and Architecture인용 수 5

한 줄 요약

이 논문은 구성 가능한 암호학적 기법을 사용하여 측정하는 앨리스의 블라인드 양자 계산 프로토콜에 대해 구성 가능한 보안을 확립한다. 이는 다른 프로토콜과 병행하여 사용될 때에도 프로토콜이 블라인드성과 검증 가능성을 유지함을 보여준다. 무신호 원칙과 장치 독립적 보안을 활용하여, 기존의 접근 방식보다 단순화된 투명하고 강력한 보안 증명을 제공하며, 현실적인 동시 실행 환경에서 악성 서버에 대한 저항력을 확인한다.

ABSTRACT

Blind quantum computing [A. Broadbent, J. Fitzsimons, and E. Kashefi, Proceedings of the 50th Annual IEEE Symposium on Foundations of Computer Science 517 (2009)] is a secure cloud quantum computing protocol which enables a client (who does not have enough quantum technology at her disposal) to delegate her quantum computation to a server (who has a universal quantum computer) without leaking any relevant information to the server. In [T. Morimae and K. Fujii, Phys. Rev. A {\bf87}, 050301(R) (2013)], a new blind quantum computing protocol, so called the measuring-Alice protocol, was proposed. This protocol offers several advantages over previous protocols, such as the device-independent security, less demanding requirements for the client, and a simpler and stronger security based on the no-signaling principle. In this paper, we show composable security of the measuring-Alice protocol by using the formalism of the constructive cryptography [U. Maurer, Proceedings of Theory of Security and Applications, TOSCA 2011, pages 33-56. Springer (2011)]. The above advantages of measuring-Alice protocol enable more intuitive and transparent proofs for the composable security.

연구 동기 및 목표

• 다른 프로토콜과의 임의의 조합 상황에서도 보장되는 보안을 확보하기 위해 측정하는 앨리스의 블라인드 양자 계산 프로토콜에 대해 구성 가능한 보안을 확립한다.
• 단독 보안 증명의 한계를 해결하기 위해, 프로토콜이 다른 프로토콜과 조합되는 더 넓고 현실적인 네트워크 환경에서의 보안을 입증한다.
• 측정하는 앨리스 프로토콜이 지닌 잠재적 이점—예를 들어 장치 독립적 보안과 낮은 클라이언트 요구 사항—을 활용하여 보안 증명을 단순화하고 강화한다.
• 프로토콜의 블라인드성과 검증 가능성이 구성 가능하다는 것을 보여주며, 이는 프로토콜이 더 큰 암호 시스템 내에서 서브루틴으로 사용될 경우에도 성립함을 의미한다.
• 전통적인 구성 가능한 보안 구성 방식의 복잡성에서 벗어나 구성 가능한 암호학적 기법을 통해 투명하고 직관적인 보안 프레임워크를 제공한다.

제안 방법

• 측정하는 앨리스 프로토콜을 안전한 실제 세계 기반 원천으로 모델링하기 위해 구성 가능한 암호학의 공식적 기법을 채택하였다.
• 프로토콜의 이상 기능을 클라이언트의 양자 계산을 정보 泄露 없이 수행하는 신뢰할 수 있는 당사자로 정의하였다.
• 실제 세계의 프로토콜 행동을 이상 세계에서 모방하는 시뮬레이터를 구축하여, 어떤 공격자에 대해서도 구분 불가능성을 보장하였다.
• 무신호 원칙을 기본 보안 가정으로 활용하여, 세부적인 양자 상태 분석이 필요 없도록 하여 증명을 단순화하였다.
• 실제 세계와 이상 세계 간의 거리가 작은 오차 매개변수 ε로 유계임을 증명하여, 구성 가능한 보안을 확보하였다.
• 구성 가능한 암호학적 프레임워크 하에서 이상 기능과의 동치성을 보여줌으로써, 프로토콜이 구성 가능한 블라인드성과 검증 가능성을 만족함을 입증하였다.

실험 결과

연구 질문

• RQ1 측정하는 앨리스의 블라인드 양자 계산 프로토콜이 구성 가능한 보안 정의 하에서 증명 가능할 수 있는가? 이는 다른 프로토콜과의 임의의 조합 상황에서도 안전함을 보장한다.
• RQ2 구성 가능한 암호학적 기법을 사용할 경우, 기존의 단독 보안 접근 방식에 비해 보안 증명이 얼마나 단순화되고 강화되는가?
• RQ3 프로토콜의 장점—예를 들어 장치 독립적 보안과 낮은 클라이언트 요구 사항—은 얼마나 투명하고 직관적인 구성 가능한 보안 증명을 가능하게 하는가?
• RQ4 무신호 원칙은 측정하는 앨리스 프로토콜의 구성 가능한 보안을 증명하기에 충분한 기초를 제공하는가?
• RQ5 복잡한 양자 상태 톰그래피나 entanglement 검증에 의존하지 않고도 측정하는 앨리스 프로토콜의 구성 가능한 보안을 확립할 수 있는가?

주요 결과

• 측정하는 앨리스 프로토콜은 구성 가능한 암호학적 기법 프레임워크 하에서 구성 가능한 보안을 달성하여, 다른 프로토콜과의 조합 상황에서도 보안이 유지됨을 보장한다.
• 무신호 원칙을 활용함으로써 보안 증명이 크게 단순화되었으며, 세부적인 양자 상태 분석 없이도 직접적이고 직관적인 추론이 가능해졌다.
• 프로토콜의 장치 독립적 보안과 클라이언트 측에서의 측정 기반 요구 사항은 강력하고 투명한 구성 가능한 보안 증명을 가능하게 하였다.
• 실제 세계와 이상 세계 간의 거리는 ε = 2δ로 유계이며, 여기서 δ는 상태 준비 오차를 측정하는 값으로, 명시적인 오차 한계 하에 프로토콜의 보안을 확인한다.
• 프로토콜의 구성 가능한 블라인드성과 검증 가능성이 공식적으로 입증되었으며, 서버가 클라이언트의 입력, 출력 또는 프로그램에 대한 어떤 정보도 泄露하지 않음을 보여주었다.
• 결과적으로 측정하는 앨리스 프로토콜은 이전 연구에서 정의된 구성 가능한 보안 조건을 충족하며, 중간 단계의 단독 보안 정의에 의존하지 않는 직접적이고 구성 가능한 증명을 통해 이를 확인하였다.