[논문 리뷰] Public-key cryptography based on bounded quantum reference frames

Lawrence M. Ioannou, Michele Mosca|arXiv (Cornell University)|2009. 03. 30.

Quantum Information and Cryptography참고 문헌 24인용 수 5

한 줄 요약

이 논문은 유한한 양의 양자 기준 프레임을 기반으로 하여 재사용 가능한 양자 공개키 식별 기반을 제안하며, 위상 기준 상태를 활용하여 비밀 공유 상관관계가 필요 없이도 안전한 인증을 가능하게 한다. 이 프로토콜은 정직한 검증자 가정 하에 정보론적 보안을 달성하며, 공개 키를 $ t $개 복제한 공격자가 $ s $번의 테스트 라운드 동안 검증자를 속일 확률에 대한 상한이 $(1 - 1/8(t+1))^s$로 정량화된다.

ABSTRACT

We demonstrate that the framework of bounded quantum reference frames has application to building quantum-public-key cryptographic protocols and proving their security. Thus, the framework we introduce can be seen as a public-key analogue of the framework of Bartlett et al. (Phys. Rev. A 70, 032307), where a private shared reference frame is shown to have cryptographic application. The protocol we present in this paper is an identification scheme, which, like a digital signature scheme, is a type of authentication scheme. We prove that our protocol is both reusable and secure under the honest-verifier assumption. Thus, we also demonstrate that secure reusable quantum-public-key authentication is possible to some extent.

연구 동기 및 목표

• 비밀 공유 상관관계에 의존하지 않는 공개키 양자 암호 프로토콜을 개발하여 대규모 네트워크에서의 확장 가능한 키 배포를 가능하게 한다.
• 기존의 공개키 상태 겹침으로 인해 한 번만 사용 가능한 전통적 기반의 양자 공개키 시스템에서의 재사용 문제를 해결한다.
• 유한한 양의 양자 기준 프레임이 대칭 키 프로토콜에서 비밀 기준 프레임이 기능하는 것과 유사하게, 양자 공개키 암호 기반으로 안전한 기초를 제공할 수 있음을 보여준다.
• 정직한 검증자 가정 하에 정보론적 보안을 입증하여, 제한된 양자 메모리만을 갖춘 공격자에 대한 저항성을 확보한다.
• 프로토콜에 대해 정량적 보안 상한을 설정하여, 성공적인 위조 시도 확률이 검증 라운드 수와 공격자가 확보한 공개 키 복제 수에 따라 지수적으로 감소함을 보여준다.

제안 방법

• 프로토콜은 단일 모드 위상 기준 상태 $\rho(\phi)$의 가족을 사용하며, 이는 위상 이동에 대해 공변성을 가지며 공통 기준에 대해 상대 위상 $e^{i\phi}$를 인코딩한다.
• 앨리스는 임의의 위상 $\phi \in [0, 2\pi)$를 선택하고 이를 비밀로 유지하며, 공개 키로 상태 $|0\rangle + e^{i\phi}|1\rangle$의 $t$개 복제본을 준비한다.
• 보안은 공격자가 $t$개의 공개 키 복제본을 확보하더라도, 유한한 양의 양자 기준 프레임으로 인해 $\phi$를 높은 확률로 결정할 수 없다는 사실에 기반한다.
• 검증자(밥)와 증명자(앨리스) 사이의 분산 스왑 테스트를 통해 공개 키의 진위를 검증하며, 이 테스트를 $s$번 반복하여 타당성을 강화한다.
• 보안 분석은 Bartlett 등 [18]의 정리 2를 활용하며, 이는 위상 기준에 대해 초위상 상태를 추측할 수 있는 최적의 확률을 제공하여, 속임수 확률에 대한 상한을 도출한다.
• 최종적으로, $s$개의 스왑 테스트를 모두 통과할 확률에 대한 상한은 $(1 - 1/8(t+1))^s$로 유도되며, 이는 검증 횟수에 따라 지수적으로 감소하고 공격자가 확보한 공개 키 복제 수에 반비례함을 보여준다.

실험 결과

연구 질문

• RQ1 유한한 양의 양자 기준 프레임을 사용하여 재사용 가능한 양자 공개키 인증 프로토콜을 구성할 수 있는가?
• RQ2 공개 키를 $ t $개 복제한 공격자가 단일 검증 라운드에서 앨리스를 위조할 수 있는 최대 확률는 얼마인가?
• RQ3 공격자가 확보한 검증 라운드 수 $ s $와 공개 키 복제 수 $ t $에 따라 프로토콜의 보안 수준은 어떻게 변화하는가?
• RQ4 비밀 공유 상관관계가 필요 없이도 양자 공개키 시스템에서 정보론적 보안을 달성할 수 있는가?
• RQ5 유한한 양의 양자 메모리만을 갖춘 공격자에 대한 체계적 공격에 대해 프로토콜을 안전하게 만들 수 있는가?

주요 결과

• 프로토콜은 정직한 검증자 가정 하에 정보론적 보안을 달성하며, 계산적 가정 없이 양자역학의 법칙에 의해 보장된다.
• 공격자가 $ t $개의 공개 키 복제본을 사용하여 위상 $\phi$를 성공적으로 추측할 수 있는 최적의 확률은 $P_{\text{succ}} \leq 1 - 1/(4(t+1))$로 상한이 매겨지며, 이는 이항 분포의 겹침으로부터 유도된다.
• 공격자가 모든 $ s $개의 스왑 테스트를 통과할 확률은 최대 $(1 - 1/8(t+1))^s$이며, 이는 $ s $에 따라 지수적으로 감소하고 $ t $에 대해 반비례한다.
• 유한한 양의 양자 기준 프레임을 가정할 경우 보안 상한은 날카롭게 조밀하며, 단일 모드 위상 기준 모델로의 감소를 통해 체계적 공격를 고려한 분석이 이루어진다.
• 동일한 키-값 쌍을 여러 메시지-서명 쌍에 대해 반복 사용할 수 있는 재사용 가능성을 확보하며, 각 검증마다 새로 공개 키 복제본을 배포하는 조건을 만족한다.
• 이 프레임워크는 양자 공개키 암호가 유한한 양의 양자 기준 프레임을 기반으로 실현될 수 있음을 보여주며, 대칭 키 모델을 초월한 양자 암호 primitive의 범위를 확장한다.