[논문 리뷰] Quantum authentication scheme based on algebraic coding

Rex A. C. Medeiros, Francisco de Assis외 2명|ArXiv.org|2003. 07. 14.

Quantum Computing Algorithms and Architecture참고 문헌 4인용 수 4

한 줄 요약

이 논문은 길이 $m$인 고전적 메시지를 위한 비상호작용 양자 인증 프로토콜을 제안한다. 이는 고전적 선형 대수적 코드 $C[n,m,t]$와 공유되는 $n$-비트 비밀 키를 사용한다. 프로토콜은 메시지를 코드어로 인코딩하고, 비밀 키에 의해 결정되는 기저에서 $n$ 큐비트를 준비하여 무잡음 양자 채널을 통해 전송한다. 보는 사람은 측정 결과에 대한 패리티 체크를 통해 메시지의 진위를 검증한다. 이 프로토콜은 적절한 코드 매개변수를 선택함으로써 실패 확률을 지수적으로 작게 만들 수 있어 정보 이론적 보안을 달성한다.

ABSTRACT

This paper presents a simple, but efficient class of non-interactive protocols for quantum authentication of $m$-length clas sical messages. The message is encoded using a classical linear algebraic code $C[n,m,t]$. We assume that Alice and Bob share a classical secret key, $x_{AB}$, of $n$ bits. Alice creates $n$ qubits based on the code word and the key, that indicates the bases used to create each qubit. The quantum states are sent to Bob through a noiseless quantum channel. We calculate the failure probability of the protocol considering several types of attacks.

연구 동기 및 목표

• 길이 $m$인 고전적 메시지를 위한 단순하고 비상호작용적인 양자 인증 프로토콜을 개발하기.
• 고전적 선형 코드와 양자 상태 준비를 활용하여 정보 이론적 보안을 확보하기.
• 다양한 공격 모델 하에서 메시지 위조의 실패 확률을 최소화하기.
• 양자 채널에 도청이 없는 경우 비밀 키를 재사용할 수 있도록 하여 프로토콜의 효율성 향상하기.
• 복잡한 양자 연산이나 얽힌 상태에 의존하는 기존 양자 인증 체계의 실용적 대안 제공하기.

제안 방법

• 각 $m$-비트 메시지는 고전적 선형 코드 $C[n,m,t]$를 사용하여 $n$-비트 코드어로 인코딩된다.
• 앨리스와 박은 $n$-비트 고전적 비밀 키 $x_{AB}$를 공유하며, 이는 $n$ 큐비트를 준비하고 측정할 기저를 결정한다.
• 비밀 키의 각 비트에 대해, 앨리스는 계산 기저 또는 하다르드 기저에서 큐비트를 준비하여 코드어를 양자 상태에 인코딩한다.
• 이 $n$-큐비트 상태는 무잡음 양자 채널을 통해 전송되며, 박은 비밀 키에서 지정된 기저에 따라 각 큐비트를 측정한다.
• 박은 코드의 패리티 체크 행렬 $H$를 사용하여 패리티 체크를 수행한다; 만약 $m_B H^T = 0$이면 메시지는 진위로 간주된다.
• 채널 도청은 패리티 체크에 실패하는 측정 결과를 통해 탐지되며, 이는 무결성을 보장한다.

실험 결과

연구 질문

• RQ1 단일 큐비트 상태 준비와 측정만을 사용하여 얽힘 또는 복잡한 양자 연산 없이도 비상호작용 양자 인증 프로토콜을 설계할 수 있는가?
• RQ2 고전적 선형 코드 $C[n,m,t]$의 선택이 메시지 위조 실패 확률에 미치는 영향은 무엇인가?
• RQ3 코드 매개변수 $n$과 $t$는 프로토콜의 보안 수준와 어떤 관계가 있는가?
• RQ4 계산 가정에 의존하지 않고도 정보 이론적 보안을 달성할 수 있는가?
• RQ5 성공적인 전송 후 어떤 조건에서 비밀 키를 안전하게 재사용할 수 있는가?

주요 결과

• 길이 $n=63$인 이진 BCH 코드의 경우 실패 확률 $P_f$는 $1.3 \times 10^{-8}$이며, $n=127$일 땐 $1.4 \times 10^{-16}$로 감소하여 지수적 보안 스케일링을 보여준다.
• $C[127,120,1]$에 대해 간섭-재전송 공격에서의 성공적 위조 확률 $P'_{f}$는 최대 $2.4 \times 10^{-26}$로 매우 낮아 높은 내성성을 보인다.
• $C[127,120,1]$에 대해 복호화 실패 확률 $P_{Dec}$는 $3.0 \times 10^{-32}$로 매우 낮아 높은 신뢰성을 나타낸다.
• 이 프로토콜은 계산 가정에 의존하지 않고도 정보 이론적 보안을 달성한다. 이는 고전적 MAC 체계와는 다르다.
• 도청이 탐지되지 않은 경우 비밀 키 재사용이 가능하며, 양자 상태의 무결성이 비밀 키가 유출되지 않았음을 보장한다.
• 양자 태그 생성이나 얽힌 쌍이 필요로 하지 않아 기존 프로토콜보다 단순성과 자원 효율성에서 뛰어나다.