[논문 리뷰] Robust quantum data locking from phase modulation

Cosmo Lupo, Mark M. Wilde외 1명|Civil War Book Review|2013. 11. 20.

Quantum Information and Cryptography인용 수 5

한 줄 요약

이 논문은 단계 조절을 이용한 강력한 양자 데이터 락킹 프로토콜을 제안하며, 비밀 키의 일부가 泄露되어도 키 길이를 泄露된 정보에 비례해 늘일 경우, 임의의 길이의 메시지를 안전하게 락킹할 수 있음을 보여준다. 기존의 복잡한 유니터리 연산 대신 무작위 단계 이동을 사용함으로써 프로토콜의 구조를 단순화하여 광학적 실현 가능성을 높였으며, 현실적인 조건 하에서도 강력한 보안을 확보한다.

ABSTRACT

Quantum data locking is a unique quantum phenomenon that allows a relatively short key to (un)lock an arbitrarily long message encoded in a quantum state, in such a way that an eavesdropper who measures the state but does not know the key has essentially no information about the encrypted message. The application of quantum data locking in cryptography would allow one to overcome the limitations of the one-time pad encryption, which requires the key to have the same length as the message. However, it is known that the strength of quantum data locking is also its Achilles heel, as the leakage of a few bits of the key or the message may in principle allow the eavesdropper to unlock a disproportionate amount of information. In this paper we show that there exist quantum data locking schemes that can be made robust against information leakage by increasing the length of the shared key by a proportionate amount. This implies that a constant size key can still encrypt an arbitrarily long message as long as a fraction of it remains secret to the eavesdropper. Moreover, we greatly simplify the structure of the protocol by proving that phase modulation suffices to generate strong locking schemes, paving the way to optical experimental realizations. Also, we show that successful data locking protocols can be constructed using random codewords, which very well could be helpful in discovering random codes for data locking over noisy quantum channels.

연구 동기 및 목표

• 비밀 키나 메시지의 일부가 泄露될 경우 보안이 위협받는 양자 데이터 락킹(QDL)의 취약성을 해결하기 위해.
• 비밀 키의 일부가 泄露되어도 키 길이를 泄露된 정보에 비례해 늘임으로써 QDL 프로토콜이 여전히 안전하게 유지되도록 하기 위해.
• 특히 광학 시스템에서 실현 가능한 QDL 프로토콜을 만들기 위해 프로토콜의 구조를 단순화하기 위해.
• 특히 노이즈가 있는 양자 채널에서 강력한 QDL 체계를 구성하기 위해 무작위 단계 집합과 무작위 코드어의 사용을 탐색하기 위해.
• 가용 정보와 트레이스 거리 한계를 분석하여 QDL에서 구성 가능한 보안의 이론적 기초를 확립하기 위해.

제안 방법

• 무작위 단계로 정의된 양자 상태의 단계 집합을 제안: $|\psi\rangle = \frac{1}{\sqrt{d}}\sum_{\omega=1}^{d} e^{i\theta(\omega)}|\omega\rangle$, 여기서 $\theta(\omega)$ 는 평균이 0인 i.i.d. 무작위 단계이다.
• 헤어-무작위 유니터리가 아닌 무작위 단계 이동을 사용하여 코드어를 생성함으로써 프로토콜의 구조를 실험적 실현에 매우 단순화시켰다.
• $\delta$-네트워크를 힐버트 공간에 적용하여 임의의 상태를 근사하고, 유한 차원 분석과 트레이스 노름 한계를 사용할 수 있도록 하였다.
• 판스-오덴아르트 부등식을 적용하여 근처 상태 간의 바나흐-바이어스 엔트로피 차이를 한도하여, 소수의 변형에 대해 가용 정보의 강건성을 보장하였다.
• 측정 결과를 분석하고 확률 벡터 간의 트레이스 노름 부등식을 유도하기 위해 불완전한 양의 자기연산측정(POVM)을 도입하였다.
• 키 길이 조건을 유도: $K > \frac{4}{\delta^2}\left(\ln M + \frac{2d}{\delta M}\ln\frac{5}{\delta}\right)$, 이는 가용 정보가 $O(\delta \log d)$ 이하로 제한됨을 보장한다.

실험 결과

연구 질문

• RQ1 비밀 키의 일부가 泄露되어도 양자 데이터 락킹이 강건하게 유지될 수 있으며, 만약 그렇다면 泄露된 정보에 비례해 키 길이를 얼마나 늘려야 하는가?
• RQ2 단지 단계 조절만으로도 강력한 양자 데이터 락킹 체계를 구성할 수 있으며, 이는 실험적 실현을 크게 단순화할 수 있는가?
• RQ3 무작위 단계 집합을 사용하여 노이즈 및 정보 泄露 상황에서도 강건한 QDL 코드어를 생성할 수 있는가?
• RQ4 메시지 길이와 시스템 차원에 따라 어떤 최소 키 길이가 필요한가? 그리고 그 길이가 어떻게 스케일링되는가?
• RQ5 실제로 암호 해독 능력에 대한 가정을 통합할 경우, 가용 정보 기준을 사용하여 QDL에서 구성 가능한 보안을 보장할 수 있는가?

주요 결과

• 비밀 키의 일부가 그대로 남아 있으면서도 키 길이를 泄露된 정보에 비례해 늘일 경우, 임의의 길이의 메시지를 안전하게 락킹할 수 있다.
• 단지 단계 조절만으로도 강력한 양자 데이터 락킹 체계를 구성할 수 있으며, 이는 헤어-무작위 유니터리가 필요한 이전 방법에 비해 프로토콜을 크게 단순화시킨다.
• 가용 정보는 $I_{\text{acc}} = O(\delta \log d)$ 이하로 제한되며, 이는 $\delta$ 가 $\delta$-네트워크에서의 근사 오차를 제어함으로써 암호 해독자에 대한 보안을 보장한다.
• 필요한 키 길이는 $K > \frac{4}{\delta^2}\left(\ln M + \frac{2d}{\delta M}\ln\frac{5}{\delta}\right)$ 로 스케일링되며, 이는 부분적 키 泄露 상황에서도 프로토콜이 여전히 안전함을 보장한다.
• 무작위 단계 집합의 사용은 노이즈가 있는 양자 채널로도 확장 가능한 강건한 QDL 프로토콜을 구성할 수 있도록 하며, 랜덤 코딩 기법의 적용이 가능하다.
• 분석 결과, 측정 결과 분포 간의 트레이스 거리는 $\|Q(\phi) - Q(\phi_i)\|_1 \leq 2\delta \frac{M}{d}$ 로 제한되며, 이는 상태 근사에 대한 프로토콜의 강건성을 뒷받침한다.