[논문 리뷰] Quantum Signature Protocol without the Trusted Third Party

Xiaojun Wen, Yun Liu|ArXiv.org|2005. 09. 20.

Quantum Information and Cryptography참고 문헌 7인용 수 4

한 줄 요약

이 논문은 양자 디지털 서명 프로토콜을 제안하며, 얽힌 그린버거-홀른-자일링턴(GHZ) 상태를 활용하여 신뢰할 수 있는 제3자 필요성을 제거한다. 국소 유니터리 연산과 CNOT 게이트를 적용함으로써, 양자 키 분배를 통한 무조건적 보안과 양자 지문 기반의 위조 방지 기능을 실현하여, 통신 오버헤드를 줄인 채로 안정적인 메시지 인증을 달성한다.

ABSTRACT

An authentic digital signature scheme based on the correlation of Greenberger-Horne-Zeilinger (GHZ) states was presented. In this scheme, by performing a local unitary operation on the third particles of each GHZ triplet, Alice can encode message M and get its signature S. Bob performs CNOT operation on the combined GHZ triplets can recovery the message M and directly authenticates Alice's signature S. Our scheme was designed to use quantum secret key to guaranteed unconditional security, as well as use quantum fingerprinting to avoid trick attacks and reduce communication complexity.

연구 동기 및 목표

• 양자 디지털 서명 체계에서 신뢰할 수 있는 제3자 의존도를 제거하기 위해.
• 양자 비밀 키 분배를 통해 무조건적 보안을 달성하기 위해.
• 양자 지문 기법을 통해 위조 및 속임수 공격을 방지하기 위해.
• 양자 서명 프로토콜의 통신 복잡도를 감소시키기 위해.
• 오직 얽힌 양자 상태만을 사용하여 당사자 간 직접 메시지 인증을 가능하게 하기 위해.

제안 방법

• 프로토콜은 서명 생성 및 검증의 핵심 자원으로 삼중 그린버거-홀른-자일링턴(GHZ) 얽힌 상태를 사용한다.
• 앨리스는 각 GHZ 삼중 상태의 세 번째 입자에 국소 유니터리 연산을 적용하여 메시지 M을 인코딩함으로써 서명 S를 생성한다.
• 밥은 복합 GHZ 삼중 상태에 대해 CNOT 연산을 수행하여 원래의 메시지 M을 복구하고 서명을 검증한다.
• 무조건적 보안을 확보하기 위해 양자 비밀 키가 사용된다.
• 도용 또는 위조 공격을 탐지하고 방지하기 위해 양자 지문 기법이 통합된다.
• 검증을 위해 고전적 채널을 사용하는 대신 양자 상태 상관관계에 의존함으로써 고전적 통신을 최소화한다.

실험 결과

연구 질문

• RQ1 신뢰할 수 있는 제3자가 필요 없이 양자 디지털 서명을 구축할 수 있는가?
• RQ2 오직 얽힌 상태만을 사용하여 무조건적 보안을 달성할 수 있는 양자 서명 프로토콜은 어떻게 설계할 수 있는가?
• RQ3 양자 지문 기법은 위조 방지 및 통신 오버헤드 감소에 어떤 역할을 하는가?
• RQ4 오직 얽힌 상태에서의 국소 연산만으로도 메시지 인증을 달성할 수 있는가?
• RQ5 프로토콜은 개인 및 집단 공격에 대해 어떻게 보안을 유지하는가?

주요 결과

• 프로토콜은 양자 비밀 키와 양자 상태의 복제 금지 정리에 기반하여 무조건적 보안을 달성한다.
• GHZ 상태의 사용으로 고전적 검증 채널 없이도 직접 메시지 복구 및 서명 검증이 가능하다.
• 양자 지문 기법은 얽힌 상태 상관관계의 일관성 불일치를 탐지함으로써 속임수 공격을 효과적으로 방지한다.
• 통신 복잡도가 감소한 이유는 프로토콜이 고전적 통신을 최소화하고 양자 상태 교환과 국소 연산만으로도 충분하기 때문이다.
• 얽힘의 본질적 특성과 유니터리 연산 덕분에 도청 및 위조 공격에 강건한 보안을 유지를 한다.
• 신뢰할 수 있는 중개자가 없는 완전한 양자 환경에서의 안정적 인증 가능성을 입증한다.