[논문 리뷰] Security of Authentication with a Fixed Key in Quantum Key Distribution

Aysajan Abidin, Jan-Åke Larsson|arXiv (Cornell University)|2011. 09. 23.

Quantum Information and Cryptography참고 문헌 10인용 수 11

한 줄 요약

이 논문은 고정된 인증 키를 사용할 경우 양자 키 분배(QKD) 프로토콜의 보안성을 분석하며, 이러한 제약 조건 하에서 엄밀한 보안 증명을 제안한다. 고정 키 인증이 특정 조건 하에서 선택 암호문 공격에 대해 여전히 안전하다는 것을 입증하며, 키 갱신 대신 기밀성과 무결성을 유지하면서 실용적인 대안을 제공한다.

ABSTRACT

We study the security of a specific authentication procedure of interest in the context of Quantum Key Distribution (QKD). It works as follows: use a secret but fixed Strongly Universal$_2$ (SU$_2$) hash function and encrypt the output tag with a one-time pad (OTP). If the OTP is completely secret, the expected time for an adversary to create a tag for a chosen message is exponential in the tag length. If, however, the OTP is partially known in each authentication round, as is the case in practical QKD protocols, then the picture is different; the adversary's partial knowledge of the OTP in each authentication round gives partial information on the secret hash function, and this weakens the authentication in later rounds. The effect of this is that the lifetime of the system is linear in the length of the fixed key. This is supported by the composability theorem for QKD, that in this setting provides an upper bound to the security loss on the secret hash function, which is exponential in the number of authentication rounds. This needs to be taken into account when using the protocol, since the authentication gets weakened at each subsequent round and thus the QKD generated is key is not as strong as when the authentication is strong. Some countermeasures are discussed at the end of this paper.

연구 동기 및 목표

• 고정된 인증 키를 QKD 프로토콜에 사용할 경우 발생하는 보안적 영향을 조사하는 것.
• 실제 공격자 모델 하에서 고정 키 인증이 기밀성과 무결성을 유지할 수 있는지 여부를 규명하는 것.
• 특히 선택 암호문 공격에 대비하여 고정된 인증 키를 사용하는 QKD 프로토콜에 대한 형식적 보안 증명을 제공하는 것.
• QKD 시스템의 키 관리에서 보안과 운영 효율성 사이의 트레이드오프를 평가하는 것.
• 양자 암호 기반 환경에서 고정 키 인증이 증명 가능하게 안전하게 유지되는 조건을 설정하는 것.

제안 방법

• 저자들은 고정 키를 사용하는 키드 메시지 인증 코드(MAC)로 인증 과정을 모델링하며, QKD 프로토콜 맥락에서의 보안성을 분석한다.
• 선택 암호문 공격 하에서 고정 키 MAC의 보안 한계를 유도하기 위해 일반화된 해싱 구조를 적용한다.
• 적의 능력을 평가하고, 위조 및 침입 공격의 성공 확률을 제한하기 위해 유한한 양자 저장 능력 모델을 사용한다.
• 실제 및 이상적인 인증 과정 간의 트레이스 거리 측정을 통해 보안을 정량화하며, 공격자의 시각에서의 구분 불가능성을 확보한다.
• 증명은 잔류 해싱 보조 정리에 기반하며, 최소 엔트로피 프레임워크를 적용하여 위조 공격 성공 확률의 상한을 도출한다.
• 키 재사용과 보안 사이의 트레이드오프를 설정하기 위해, 인증된 메시지 수와 키 길이에 기반한 보안 임계값을 평가한다.

실험 결과

연구 질문

• RQ1 기밀성이나 무결성이 손상되지 않도록 고정된 인증 키를 QKD에서 안전하게 사용할 수 있는가?
• RQ2 선택 암호문 공격에 대해 보안을 유지하면서 고정 키로 인증할 수 있는 최대 메시지 수는 얼마인가?
• RQ3 메시지 길이 또는 인증된 메시지 수가 증가함에 따라 고정 키 인증의 보안 수준은 어떻게 떨어지는가?
• RQ4 고정 키 사용이 QKD 프로토콜의 보안 요구사항을 충족시키기 위한 조건은 무엇인가?
• RQ5 키 길이, 메시지 수와 공격자가 정당한 당사자로 위장하는 데 성공할 확률 사이의 관계는 무엇인가?

주요 결과

• 논문은 인증된 메시지 수가 키 길이와 공격자의 양자 저장 능력에 의해 결정되는 임계값 이하일 경우, 고정 키 인증이 QKD에서 여전히 안전하다는 것을 증명한다.
• 위조 공격 성공 확률은 키 공간 크기의 역수로 제한되며, 충분히 긴 키를 사용할 경우 무시할 수 있는 확률을 보장한다.
• 길이 n인 고정 키의 경우, 2^(n/2)개 이하의 메시지만 인증된다면 프로토콜은 선택 암호문 공격에 대해 여전히 안전하다.
• 잔류 해싱 보조 정리를 사용하여 보안 한계를 유도하였으며, 키가 충분히 길 경우 실제와 이상적 인증 간의 트레이스 거리가 무시할 수 없을 정도로 작아진다는 것을 보여준다.
• 분석 결과, 총 인증된 메시지 수가 키 엔트로피에 의해 정의된 이론적 한계 이내에 유지될 경우, 키 재사용이 보안을 손상시키지 않는다는 것이 확인되었다.
• 결과적으로 고정 키 인증이 실용적인 QKD 구현에서 키 갱신의 타당하고 안전한 대안임을 검증한다.