[논문 리뷰] Quantum authentication with key recycling

Christopher Portmann|arXiv (Cornell University)|2016. 10. 11.

Quantum Information and Cryptography인용 수 4

한 줄 요약

이 논문은 전체 키 재사용을 갖춘 양자 인증 프로토콜에 대한 구성 가능한 보안 증명을 제시하며, 메시지 인증에 성공했을 경우 모든 비밀 키 비트를 재사용하고, 위변조 탐지 시 부분적으로 재사용할 수 있음을 보여준다. 프로토콜은 양자 오류 탐지 코드와 유니터리 연산을 활용하여 불안정한 채널과 공유된 비밀 키로부터 안정한 양자 채널을 구성하며, 제한된 보안 오차를 갖는 최적의 키 재사용을 달성한다.

ABSTRACT

We show that a family of quantum authentication protocols introduced in [Barnum et al., FOCS 2002] can be used to construct a secure quantum channel and additionally recycle all of the secret key if the message is successfully authenticated, and recycle part of the key if tampering is detected. We give a full security proof that constructs the secure channel given only insecure noisy channels and a shared secret key. We also prove that the number of recycled key bits is optimal for this family of protocols, i.e., there exists an adversarial strategy to obtain all non-recycled bits. Previous works recycled less key and only gave partial security proofs, since they did not consider all possible distinguishers (environments) that may be used to distinguish the real setting from the ideal secure quantum channel and secret key resource.

연구 동기 및 목표

• 기존 연구에서의 격차를 메우기 위해 키 재사용 기능을 갖춘 양자 인증 프로토콜에 대한 완전한 구성 가능한 보안 증명을 제공하는 것.
• 메시지가 성공적으로 인증되었을 경우 모든 비밀 키 비트가 재사용될 수 있음을 보여주는 것.
• 위변조가 탐지되었을 경우 부분적 키 재사용이 이루어지며, 이는 최적의 키 재사용을 보장하는 것.
• 기존 연구에서 간과된 모든 가능한 식별자(예: 위조 공격 포함)를 고려하여 보안 격차를 해결하는 것.
• 재사용되는 키 비트의 수가 최적이며, 비록 재사용되지 않은 비트를 모두 복구할 수 있는 적대자 전략이 존재함을 증명하는 것.

제안 방법

• Barnum 등(2002)의 가족에서 유도된 단위편역과 양자 오류 탐지 코드를 사용한 양자 인증 프로토콜의 가족을 활용한다.
• 암호화-그런 다음-코딩 및 그 역순의 두 단계 프로토콜을 사용하며, 식별자 측정 기반으로 키 재사용을 수행한다.
• 실제 프로토콜의 행동을 다양한 식별자 순서에서 모방하기 위해 EPR 쌍을 준비하고 임의의 유니터리 연산을 사용하는 시뮬레이터를 도입한다.
• 추적 거리 분석을 적용하여 실제 시스템과 이상 시스템 간의 식별 가능성의 상한을 구하고, 오차 항은 코드의 탐지 성질에서 유도한다.
• 메시지 이전 또는 이후에 위조된 암호문을 입력할 수 있는 식별자를 모델링하여 치환 공격과 위조 공격을 모두 고려한다.
• 약한 순수성 테스트 코드를 사용하고, 코드의 탐지 능력과 키 공간 크기를 포함한 추적 거리 상한을 통해 보안을 증명한다.

실험 결과

연구 질문

• RQ1 키 재사용 기능이 있는 양자 인증 프로토콜이 위조 공격을 포함한 모든 가능한 식별자에 대해 보안을 확보할 수 있는가?
• RQ2 주어진 프로토콜 가족에 대해 재사용되는 키 비트의 수가 최적이인가?
• RQ3 프로토콜이 임의의 환경에서 사용될 때도 구성 가능한 보안 증명이 유지되는가?
• RQ4 성공적인 인증 시 전체 키 재사용이 가능하고, 위변조 탐지 시 부분적 재사용이 이루어지는가?
• RQ5 조합된 프로토콜의 정확한 오차 상한은 무엇이며, 프로토콜 매개변수에 따라 어떻게 척도가 설정되는가?

주요 결과

• 메시지가 성공적으로 인증되었을 경우 전체 키 재사용이 이루어지고, 위변조가 탐지되었을 경우 부분적 키 재사용이 이루어진다.
• 보안 오차는 εq-auth = max{ε, 2−n}으로 상한이 매겨지며, 여기서 ε는 채널 오차이고 n은 코드에 포함된 큐비트 수이다.
• 재사용되는 키 비트의 수는 최적이며, 비록 재사용되지 않은 비트를 모두 복구할 수 있는 적대자 전략이 존재하므로, 이 가족 내의 어떤 프로토콜도 더 많은 재사용을 할 수 없다.
• 구성 가능한 보안 증명은 이전 연구에서 간과한 위조 공격을 포함한 모든 식별자를 고려하여, 보안을 포괄적으로 다룬다.
• 증명은 암호화-그런 다음-코딩 및 그 역순 프로토콜 변형이 실제로 비밀 키와 불안정한 채널로부터 이상적인 안정된 양자 채널 Sm♭를 안정적으로 구성함을 보여준다.
• 실제 시스템과 이상 시스템 간의 추적 거리는 코드의 탐지 실패 확률과 2−n의 합으로 상한이 매겨지며, 이는 구성 가능한 보안을 보장한다.