[논문 리뷰] Multiparty quantum key agreement protocol secure against collusion attacks

Zhiwei Sun, Xiaoqiang Sun외 1명|arXiv (Cornell University)|2016. 04. 05.

Quantum Information and Cryptography참고 문헌 20인용 수 9

한 줄 요약

이 논문은 최대 $ t < N $ 명의 부정행위자에 의한 공모 공격에 저항하는 새로운 다자간 양자 키 협의(MQKA) 프로토콜을 제안한다. 원형 프로토콜 아키텍처를 기반으로 하여, 다중 라운드의 얽힌 상태 분배와 XOR 기반 키 집약을 사용하는 일반화된 메커니즘을 도입함으로써, 키 뒤집기 단계에서의 방해를 통해 공모 당사자가 최종 키를 사전에 결정하는 것을 방지함으로써 공정성을 확보한다.

ABSTRACT

The fairness of a secure multi-party quantum key agreement (MQKA) protocol requires that all involved parties are entirely peer entities and can equally influence the outcome of the protocol to establish a shared key wherein no one can decide the shared key alone. However, it is found that parts of the existing MQKA protocols are sensitive to collusion attacks, i.e., some of the dishonest participants can collaborate to predetermine the final key without being detected. In this paper, a multi-party QKA protocol resisting collusion attacks is proposed. Different from previous QKA protocol resisting $N-1$ coconspirators or resisting $1$ coconspirators, we investigate the general circle-type MQKA protocol which can be secure against $t$ dishonest participants' cooperation. Here, $t &lt; N$. We hope the results of the presented paper will be helpful for further research on fair MQKA protocols.

연구 동기 및 목표

• 기존의 다자간 양자 키 협의(MQKA) 프로토콜에서 공모자가 최종 공유 키를 사전에 결정할 수 있는 공정성 취약점을 해결한다.
• 이전의 MQKA 프로토콜이 1명 또는 $ N-1 $ 명의 공모자에 대해서만 저항할 수 있는 한계를 극복하기 위해, 임의의 $ t < N $ 명의 공모자에 대해 일반화된 보안을 제공한다.
• 어떤 $ t $ 명의 부정행위자 집단도 최종 키 결과를 제어하거나 예측할 수 없도록 보장하여 프로토콜의 피어 투 피어 공정성을 유지한다.
• 일般적인 공모 위협 상황에서 공정한 MQKA 프로토콜을 구축하기 위한 확장 가능하고 효율적인 프레임워크를 제공한다.
• Liu의 이중 단계 공모 공격(키 盗취 및 키 뒤집기)을 공식적으로 분석하고 중립화함으로써 MQKA의 보안 모델을 강화한다.

제안 방법

• 각 참가자가 얽힌 큐비트 시퀀스를 준비하는 원형 구조의 MQKA 아키텍처를 채택한다: 한 부분은 '홈 큐비트 시퀀스'로 유지하고, 다른 부분은 '이동 큐비트 시퀀스'로 전송한다.
• 다중 라운드의 전송 및 인코딩을 구현한다: 각 참가자는 자신의 홈 큐비트를 측정하고, 비트 단위 XOR 연산을 사용하여 비밀 키를 되돌아오는 이동 큐비트 시퀀스에 인코딩한다.
• 도청 탐지를 위해 도우미 입자를 사용하며, 도청 탐지 외에는 고전적 통신을 사용하지 않아 효율성을 향상시킨다.
• 키 뒤집기 단계가 키 도난 단계 이후에 불가능해지도록 보장함으로써, $ t $-공모자 공격에 저항할 수 있도록 일반화된 프로토콜 구조를 도입한다.
• 원형 네트워크의 $ N $ 명의 참가자 간의 인덱스 관리와 키 집약을 위해 모듈로 산술($ oxplus $, $ oxminus $)을 적용한다.
• 일반화된 프로토콜을 통해 한 사이클이 완료된 후 모든 참가자의 분산 측정과 집약을 통해 최종 키를 XOR으로 계산한다.

실험 결과

연구 질문

• RQ1 총 참가자 수 $ N $ 에 대해 $ t < N $ 인 임의의 수의 공모자에 대해 저항할 수 있는 다자간 양자 키 협의 프로토콜을 구축할 수 있는가? 이는 기존의 $ t=1 $ 또는 $ t=N-1 $ 에만 적용 가능한 것과 대비된다.
• RQ2 이중 단계 공모 공격(키 도난 및 키 뒤집기)을 통해 공모자가 최종 공유 키를 예측하거나 제어하는 것을 방지하는 방법은 무엇인가?
• RQ3 키 뒤집기 단계를 무력화시켜 공모 위협을 중립화하기 위해 원형 구조의 MQKA 프로토콜에 어떤 구조적 수정이 필요한가?
• RQ4 어떻게 하면 단일 참가자나 그룹이 키 결과를 지배할 수 없도록 하면서도 공정성을 유지할 수 있는가?
• RQ5 일반화된 프로토콜의 큐비트 효율성은 얼마이며, 동일한 보안 조건 하에서 기존 프로토콜과 비교해 볼 때 어떤가?

주요 결과

• 제안된 프로토콜은 최대 $ t < N $ 명의 부정행위자에 의한 공모 공격에 대해 안전하며, $ t $ 는 참가자 총수 이하의 임의의 수가 될 수 있다.
• 키 도난 단계가 완료된 후 키 뒤집기 단계가 불가능하게 되어, 공모자가 최종 키를 뒤집는 것을 방지한다.
• 만약 $ t = 1 $ 이면, 프로토콜은 기존의 표준 원형 구조 MQKA로 축소되며, 이는 단일 참가자 공격에 대해 알려진 바와 같이 안전하다.
• $ t = N-1 $ 일 경우, 큐비트 효율은 $ rac{1}{( au + 1)N(N-1)} $ 가 되며, Liu 등이 제안한 프로토콜과 동일한 효율을 보여, 이는 일반화임을 확인한다.
• 큐비트 효율은 $ rac{1}{( au + 1)tN} $ 로 주어지며, $ au $ 는 도우미 입자 탐지 비율을 의미한다. 이는 $ t $ 가 증가할수록 효율이 감소하지만, 확장 가능함을 보여준다.
• 모든 정상 참가자가 최종 키에 동일하게 기여하도록 보장함으로써 공정성을 유지하며, 어떤 $ t $ 명의 공모자 집단도 결과를 사전에 결정할 수 없다.