[논문 리뷰] Attacks on semi-device independent quantum protocols

Elsa Passaro, Rodrigo Gallego외 1명|arXiv (Cornell University)|2014. 01. 01.

Quantum Information and Cryptography참고 문헌 3인용 수 2

한 줄 요약

이 논문은 양자 장치의 차원만 가정하는 반장치의존 양자 프로토콜의 취약성을 분석하여, 검출 비효율성이 어떻게 악용되어 프로토콜 결과를 위조할 수 있는지 조사한다. 랜덤 액세스 코드의 최악의 경우 성공 확률과 검출 확률에 대한 조건을 설정하여 이러한 공격을 방지함으로써, 실용적 양자정보 작업에서의 보안성을 향상시킨다.

ABSTRACT

ICREA-Institucio Catalana de Recerca i Estudis Avanc¸ats, Lluis Companys 23, E-08010 Barcelona, Spain(Dated: January 8, 2014)Recently several semi-device independent quantum protocols were proposed - e.g. for secure keydistribution, random access coding, and randomness generation - in a scenario where no assumptionon the internal working of the devices used in the protocol is made, except their dimension. Theseprotocols, while being often more practical than fully-device independent ones, are also clearly moresecure than their device dependent counterparts. Nevertheless, we discuss conditions under whichdetection inefficiencies can be exploited to fake the result of the protocol - and how to prevent it -in terms of the detection probability and of the worst case success probability of a random accesscode.I. INTRODUCTION

연구 동기 및 목표

• 검출 비효율성으로 인한 반장치의존 양자 프로토콜의 보안 취약성을 규명하는 것.
• 공격자가 낮은 검출 효율성을 악용하여 프로토콜 결과를 위조할 수 있는 방식을 분석하는 것.
• 위조 공격을 방지하기 위한 검출 확률의 이론적 한계를 설정하는 것.
• 프로토콜의 보안성을 랜덤 액세스 코드의 최악의 경우 성공 확률과 연결하는 것.
• 차원 제약 조건이 있는 양자 프로토콜에서 보안을 확보하기 위한 실용적 기준을 제공하는 것.

제안 방법

• 검출 비효율성을 고전적 공격자의 측정 결과 조작 능력으로 모델링한다.
• 랜덤 액세스 코드의 최악의 경우 성공 확률을 보안 지표로 사용한다.
• 공격이 가능해지는 검출 확률의 임계값을 유도한다.
• 장치의 차원만 신뢰하는 최소한의 가정 하에서 프로토콜의 행동을 분석한다.
• 게임 이론적 추론을 통해 공격자의 최대 성공 확률을 한계화한다.
• 양자 차원 제약 조건과 고전적 시뮬레이션 모델을 결합하여 공격의 가능성을 평가한다.

실험 결과

연구 질문

• RQ1 어떤 조건에서 공격자가 검출 비효율성을 악용하여 반장치의존 양자 프로토콜의 결과를 위조할 수 있는가?
• RQ2 검출 확률은 차원 제약 조건에 의존하는 프로토콜의 보안에 어떻게 영향을 미치는가?
• RQ3 랜덤 액세스 코드의 최악의 경우 성공 확률과 위조 공격의 가능성 사이의 관계는 무엇인가?
• RQ4 검출 비효율성을 사용하여 실제 얽힘 없이도 양자 상관관계를 시뮬레이션할 수 있는가?
• RQ5 최소한의 검출 임계값은 어떤 조건에서 프로토콜이 고전적 공격자로부터 안전하게 유지되는가?

주요 결과

• 검출 비효율성은 진정한 얽힘 없이도 양자 프로토콜 결과를 시뮬레이션할 수 있도록 공격자에게 악용될 수 있다.
• 공격이 가능해지는 검출 확률의 임계값이 존재하며, 이는 프로토콜의 설계에 따라 달라진다.
• 랜덤 액세스 코드의 최악의 경우 성공 확률이 위조 공격에 대한 프로토콜의 취약성을 직접 결정한다.
• 더 높은 검출 효율성을 가진 프로토콜은 검출 틈새를 악용한 고전적 공격에 더 강건하다.
• 랜덤 액세스 코드의 최악의 경우 성공 확률에서 유도된 한계를 초과하는 검출 확률이 확보되면 보안을 보장할 수 있다.
• 결과는 실용적인 반장치의존 양자 프로토콜에서 공격를 평가하고 방지하기 위한 정량적 프레임워크를 제공한다.