[논문 리뷰] On the post-quantum security of encrypted key exchange protocols

Li Yang, Rui-Rui Zhou|arXiv (Cornell University)|2013. 05. 24.

Quantum Computing Algorithms and Architecture참고 문헌 15인용 수 4

한 줄 요약

이 논문은 이온 트랩 양자 컴퓨터의 물리적 제약을 모델링하여 암호화된 키 교환(EKE) 및 노키 프로토콜의 후량자 보안을 평가한다. 결과적으로 100년 동안 여러 대의 이온 트랩 양자 컴퓨터를 사용하는 양자 공격자에 대비해 40비트 암호문이 충분한 저항력을 제공하는 것으로 나타났다. 또한 중간자 공격에 저항하는 암호문으로 암호화된 노키 프로토콜을 제안하고, 양자 게이트 연산의 제한에 기반한 물리적 보안성을 입증한다.

ABSTRACT

We investigate the post-quantum security of the encrypted key exchange(EKE) protocols based on some basic physical parameters of ion-trap quantum computer, and show that the EKE protocol with a 40-bit password will be secure against a quantum adversary with several ion-trap quantum computers. We present a password encrypted no-key protocol to resist middle-man attack, and prove that it is also with the post-quantum security. The analysis presented here is probably of general meaning for the security evaluation of various hybrid cryptosystems.

연구 동기 및 목표

• 양자 컴퓨터의 현실적인 물리적 제약 조건 하에서 EKE 및 노키 프로토콜의 후량자 보안을 평가하기 위해.
• 이온 트랩 양자 컴퓨터를 사용한 양자 암호문 추측 공격에 대비해 필요한 최소 암호문 길이를 결정하기 위해.
• 중간자 공격에 저항하는 암호문으로 암호화된 노키 프로토콜을 설계하고 그 보안성을 입증하기 위해.
• 양자 게이트 연산 속도와 큐비트 상호작용 역학에 기반한 물리적 보안 모델을 수립하기 위해.
• 계산 복잡도 외에도 물리적 한계를 기반으로 하이브리드 암호 시스템을 평가하기 위한 프레임워크를 제공하기 위해.

제안 방법

• 기본 양자 게이트 연산에 10⁻¹⁴초의 하한을 두어 이온 트랩 양자 컴퓨터에서 이산 로그 계산의 시간 비용을 모델링한다.
• 100년 동안 이온 트랩 양자 컴퓨터가 수행할 수 있는 이산 로그 사이클 수를 추정하여 최대 약 2⁶⁶개 사이클로 도출한다.
• 각 암호문 추측이 최소한 한 번의 이산 로그 계산이 필요하므로 암호문 길이에 하한을 설정한다.
• 리만 제타 함수와 쿠론 상호작용 모델을 사용하여 이온 트랩 시스템에서의 효과적 상호작용 범위 및 게이트 연산 속도를 추정한다.
• 모든 메시지가 공유된 암호문으로 대칭 암호화되어 위조 방지가 가능한 암호문으로 암호화된 노키 프로토콜을 제안한다.
• 유도된 지수 간의 일致성을 확인하여 후보 키의 정확성을 검증하며, 유효한 암호문일 경우에만 일致한 결과를 얻는다.

실험 결과

연구 질문

• RQ1 몇 대의 이온 트랩 양자 컴퓨터를 보유한 공격자가 100년 동안 공격할 경우, EKE 프로토콜에서 후량자 보안을 확보하기 위해 필요한 최소 암호문 길이는 얼마인가요?
• RQ2 이온 트랩 양자 컴퓨터의 물리적 제약은 키 교환 프로토콜에 대한 양자 이산 로그 공격의 가능성에 어떻게 影향을 미치나요?
• RQ3 암호문으로 암호화된 노키 프로토콜은 중간자 공격에 저항할 수 있을까요? 동시에 후량자 보안을 유지할 수 있나요?
• RQ4 양자 게이트 연산 속도와 큐비트 상호작용 역학은 대칭 키 보호 프로토콜의 실질적 보안에 어떤 역할을 하나요?
• RQ5 양자 하드웨어의 물리적 한계에 기반한 물리적 보안 모델은 하이브리드 암호 시스템 평가에 어떻게 활용될 수 있나요?

주요 결과

• 100년 동안 여러 대의 이온 트랩 양자 컴퓨터를 사용하는 공격자에 대비해 암호화된 노키 프로토콜의 후량자 보안을 확보하기 위해 40비트 암호문이 충분하다.
• 분석 결과, 이온 트랩 양자 컴퓨터가 100년 동안 수행할 수 있는 이산 로그 사이클 수는 약 2⁶⁶개로 제한되며, 이는 암호문 추측 횟수를 제한한다.
• 2²대의 이온 트랩 양자 컴퓨터를 보유한 양자 공격자에게서 40비트 암호문은 가능한 암호문 추측 수가 가용한 사이클 수 이하이므로 브루트 포스 공격이 비현실적임을 보여준다.
• 게이트 연산 제한과 큐비트 상호작용 역학에 기반한 물리적 보안 모델은 40비트 암호문 길이가 100년 이내의 양자 공격에 저항하기에 충분하다고 입증한다.
• 제안된 암호화된 노키 프로토콜은 공격자가 공유된 암호문 없이 메시지를 해독할 수 없기 때문에 중간자 공격에 성공적으로 저항한다. 이는 양자 계산 능력이 있더라도 마찬가지다.
• 논문은 양자 하드웨어의 물리적 제약 조건을 보안 평가의 기초로 사용할 수 있음을 입증하며, 순수한 계산 복잡도 가정 외의 실용적 대안을 제시한다.