[논문 리뷰] Quantum cryptography -- an information theoretic security

Muhammad Nadeem|arXiv (Cornell University)|2015. 07. 28.

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

한 줄 요약

이 논문은 양자 비국소적 상관관계를 기반으로 한 양자 암호의 통합 프레임워크를 제안하여 다양한 프로토콜에서 정보 이론적 보안을 실현한다. 비국소적 양자 자원을 활용함으로써, 계산적 가정이나 비현실적인 원리(예: 비트 기록)에 의존하지 않고도 양자 및 고전적 공격에 대해 무조건적인 보안을 달성한다. 이는 기밀성, 유 binding, 입력 은폐, 안전한 정보 분할을 가능하게 한다.

ABSTRACT

Methods of quantum mechanics promise information-theoretic security for various protocols in cryptography. However, impossibility of some cryptographic applications such as standard bit commitment, oblivious transfer, multiparty secure computations and ideal coin tossing in quantum regime leaves an obvious question on the completeness of quantum cryptography. Instead of using wide range of rules and techniques for a variety of cryptographic applications, we demonstrate here a unified structure for quantum cryptography based on quantum non-local correlations. The unified framework achieves same goals in information-theoretic way as classical cryptography does with computational hardness. To cover the broad range of cryptographic applications, we show that the framework (i) assures secrecy by providing encryption completely unintelligible to eavesdroppers, (ii) guarantees that input from distant parties is concealed unless they are willing to reveal, (iii) assures binding, (iv) allows splitting information between several parties securely and more generally, (v) evades both quantum and classical attacks from internal as well as external eavesdropping.

연구 동기 및 목표

• 표준 원리(예: 비트 기록, 무작위 전송)의 불가능성으로 인한 양자 암호의 불완전성을 해결하기 위해.
• 양자 비국소성에 기반한 정보 이론적 프레임워크 하나로 다양한 암호 응용을 통합하기 위해.
• 내부 및 외부 탈취자(포함해 양자 공격자 포함)에 대해 보안을 확보하기 위해.
• 기존 고전 암호에서의 계산적 난이도 가정을 양자 상호작용의 본질적 특성으로 대체하기 위해.
• 검증되지 않은 계산적 가정에 의존하지 않고 기밀성, 유 binding, 입력 은폐, 안전한 다자 정보 분할을 보장하기 위해.

제안 방법

• 프레임워크는 양자 비국소적 상관관계에 기반하며, 당사자 간 직접 통신 없이도 안전한 정보 교환을 가능하게 한다.
• 얽힌 양자 상태를 사용하여 고전적 방법으로 모의할 수 없는 상관관계를 생성함으로써, 무신호 원리에 의해 보안을 확보한다.
• 얽힘과 비국소성의 단독성에 의해, 탈취 시도가 감지 가능한 교란을 유도함을 보장한다.
• 입력을 비국소적 상관관계에 인코딩하여, 당사자들이 자발적으로 공개하지 않는 한 숨겨진 상태를 유지함으로써 입력 은폐를 달성한다.
• 비국소적으로 연결된 부분계에 정보를 분산시켜 다자간 계산을 안전하게 지원하며, 협력이 이루어지기 전까지 기밀성을 유지한다.
• 계산 복잡도가 아닌 양자역학의 기본 원리에 기반함으로써, 양자 및 고전적 공격을 모두 회피한다.

실험 결과

연구 질문

• RQ1 하나의 양자 프레임워크로 다양한 암호 프로토콜을 정보 이론적 보안 하에 통합할 수 있는가?
• RQ2 양자 비국소적 상관관계는 어떻게 계산 난이도를 대체하여 안전한 암호를 실현하는가?
• RQ3 검증되지 않은 가정에 의존하지 않고도 유 binding 및 입력 은폐를 보장할 수 있는가?
• RQ4 오직 양자 비국소성만을 사용하여 내부 및 외부 탈취자에 대한 보안을 확보할 수 있는가?
• RQ5 프레임워크는 어떻게 안전한 정보 분할 및 다자 계산을 처리하는가?

주요 결과

• 프레임워크는 오직 양자 비국소적 상관관계만을 사용하여 광범위한 암호 응용 분야에서 정보 이론적 보안을 달성한다.
• 무조건적인 기밀성을 제공하여, 탈취자의 계산 능력에 관계없이 유용한 정보를 확보할 수 없음을 보장한다.
• 입력은 당사자들이 명시적으로 공개하기로 선택하지 않는 한 항상 은폐된 상태를 유지하므로, 개인정보 보호를 보장한다.
• 양자 및 고전적 공격, 포함해 내부 공격자에 대해서도 보안이 확보되어 있다.
• 비트 기록 및 무작위 전송과 같은 표준 원리의 불가능성을 비국소성 기반의 보안 정의로 재정의함으로써 이를 회피한다.
• 비국소적 양자 상관관계가 완전하고 안전한 암호 프레임워크의 기초 자원이 될 수 있음을 입증한다.