[논문 리뷰] A Note on Quantum Security for Post-Quantum Cryptography

Fang Song|arXiv (Cornell University)|2014. 09. 08.

Cryptography and Data Security인용 수 7

한 줄 요약

이 논문은 양자 친화적인 감소를 식별하여 고전적 보안 증명을 양자 환경으로 확장하는 일반적 프레임워크를 제안한다. 이를 통해 양자 공격자에 대한 고전적 보안 보장(예: 존재적 무작위성 불가능성)을 양자 보안으로 이행할 수 있다. 또한 양자에 저항하는 단방향 함수로부터 유도된 해시 트리 기반 서명 체계가 양자 선택 메시지 공격 하에서도 여전히 안전하다고 증명한다.

ABSTRACT

Shor's quantum factoring algorithm and a few other efficient quantum algorithms break many classical crypto-systems. In response, people proposed post-quantum cryptography based on computational problems that are believed hard even for quantum computers. However, security of these schemes against \emph{quantum} attacks is elusive. This is because existing security analysis (almost) only deals with classical attackers and arguing security in the presence of quantum adversaries is challenging due to unique quantum features such as no-cloning. This work proposes a general framework to study which classical security proofs can be restored in the quantum setting. Basically, we split a security proof into (a sequence of) classical security reductions, and investigate what security reductions are "quantum-friendly". We characterize sufficient conditions such that a classical reduction can be "lifted" to the quantum setting. We then apply our lifting theorems to post-quantum signature schemes. We are able to show that the classical generic construction of hash-tree based signatures from one-way functions and and a more efficient variant proposed in~\cite{BDH11} carry over to the quantum setting. Namely, assuming existence of (classical) one-way functions that are resistant to efficient quantum inversion algorithms, there exists a quantum-secure signature scheme. We note that the scheme in~\cite{BDH11} is a promising (post-quantum) candidate to be implemented in practice and our result further justifies it. Finally we demonstrate the generality of our framework by showing that several existing works (Full-Domain hash in the quantum random-oracle model~\cite{Zha12ibe} and the simple hybrid arguments framework in~\cite{HSS11}) can be reformulated under our unified framework.

연구 동기 및 목표

• 양자 특성(예: 중첩과 복제 금지 원리)으로 인해 고전적 보안 증명이 양자 공격자에 대해 실패하는 문제를 다루기 위해.
• 특히 양자 후보 암호에서, 어떤 고전적 보안 감소가 양자 환경으로 '확장'될 수 있는지 식별하기 위해.
• 고전적 감소가 양자 공격 하에서도 유효한지 판단하기 위한 체계적이고 검증 가능한 기준을 제공하기 위해.
• 프레임워크의 적용 가능성을 입증하기 위해 일반적이고 효율적인 해시 트리 서명 체계의 양자 보안성을 입증하기 위해.
• 기존의 양자 보안 증명(예: 양자 랜덤 오라클 모델 내에서의 결과)을 하나의 모듈러 프레임워크로 통합하고 재구성하기 위해.

제안 방법

• 고전적 보안 증명을 고전적 감소의 연속으로 분해한다.
• 고전적 감소가 양자 환경으로 확장될 수 있도록 하는 충분조건을 규명하여 '양자 친화적 감소'를 정의한다.
• 감소 단계의 구조적 특성에 기반해 게임 업데이트 감소를 확장하기 위한 단순하고 검증 가능한 기준을 체계화한다.
• 양자 공격자를 고전적 게임 기반 프레임워크 내에서 시뮬레이션할 수 있는 인터프리터를 구축하여 고전적 감소의 번역을 가능하게 한다.
• 확장 정리들을 적용하여, 일반적인 해시 트리 서명 구조와 [BDH11]에서 제안한 최적화된 변형이 단방향 함수가 양자 역전에 저항한다면 양자 보안임을 입증한다.
• 기존 결과(예: Zhandry의 QRO 모델 내 FDH 및 HSS11의 하이브리드 추론)를 제안된 프레임워크 내에서 재구성하여 일반성의 타당성을 입증한다.

실험 결과

연구 질문

• RQ1 양자 역학적 공격자가 존재할 경우, 어떤 고전적 보안 감소가 유지될 수 있는가?
• RQ2 감소에 대한 어떤 구조적 조건이 양자 공격자 존재 하에서도 유효성을 보장하는가?
• RQ3 단방향 함수로부터 유도된 고전적 일반 해시 트리 서명 구조가 양자 선택 메시지 공격에 대해 안전한가?
• RQ4 [BDH11]에서 제안한 해시 트리 서명의 효율적 변형이 양자 랜덤 오라클 모델 하에서도 여전히 안전한가?
• RQ5 기존의 양자 보안 증명(예: QRO 모델 또는 하이브리드 추론에 대한 결과)을 하나의 프레임워크로 통합하고 모듈러화할 수 있는가?

주요 결과

• 제안된 프레임워크는 고전적 보안 감소가 양자 환경으로 확장될 수 있는 충분조건를 식별하여, 모듈러한 양자 보안 분석을 가능하게 한다.
• 단방향 함수가 양자 역전에 저항한다면, 단방향 함수로부터 유도된 고전적 일반 해시 트리 서명 구조는 양자 보안임을 입증한다.
• [BDH11]에서 제안한 더 효율적인 해시 트리 서명 변형도 동일한 가정 하에 양자 보안임이 입증되어, 양자 후보 환경에서의 실용적 구현을 정당화한다.
• Zhandry의 QRO 모델 내 Full-Domain Hash 결과가 프레임워크 내에서 재구성되고 입증되어, 이 프레임워크의 호환성과 모듈러성을 입증한다.
• 프레임워크는 기존 결과(예: [HSS11]의 하이브리드 추론)를 통합하고 일반화하여, 기본 원리 이상의 광범위한 적용 가능성을 보여준다.
• 확장 정리들은 새로운 양자 후보 체계의 양자 보안성을 재증명하지 않고도 실용적이고 검증 가능한 기준을 제공한다.