[논문 리뷰] The impossibility of non-signaling privacy amplification

Esther Hänggi, Renato Renner외 1명|arXiv (Cornell University)|2009. 06. 25.

Wireless Communication Security Techniques인용 수 5

한 줄 요약

이 논문은 비신호 상관관계를 사용하여 비밀 키를 추출하는 프라이버시 암호화가 장치 독립적 상대성 기반 암호에서 본질적으로 불가능하다는 것을 증명한다. 비신호 상관관계는 상대성 원리로 제한된 모든 공격자에 대해서도 보안을 제공하지만, 어떤 분할 방식을 쓰더라도 시스템의 출력 분포에 내재된 비균일성으로 인해, 공격자의 최종 키에 대한 지식은 무수히 많은 시스템이 있더라도 여전히 0에서 멀리 떨어져 있다.

ABSTRACT

Barrett, Hardy, and Kent have shown in 2005 that protocols for quantum key agreement exist the security of which can be proven under the assumption that quantum or relativity theory is correct. More precisely, this is based on the non-local behavior of certain quantum systems, combined with the non-signaling postulate from relativity. An advantage is that the resulting security is independent of what (quantum) systems the legitimate parties' devices operate on: they do not have to be trusted. Unfortunately, the protocol proposed by Barrett et al. cannot tolerate any errors caused by noise in the quantum channel. Furthermore, even in the error-free case it is inefficient: its communication complexity is Theta(1/epsilon) when forcing the attacker's information below epsilon, even if only a single key bit is generated. Potentially, the problem can be solved by privacy amplification of relativistic - or non-signaling - secrecy. We show, however, that such privacy amplification is impossible with respect to the most important form of non-local behavior, and application of arbitrary hash functions.

연구 동기 및 목표

• 비신호 원리에 기반한 상대성 기반 프로토콜에서 프라이버시 암호화가 장치 독립적 보안을 달성할 수 있는지 조사한다.
• 임의의 해시 함수가 비신호 상관관계에서 유도된 최종 키에서 공격자의 지식을 제거할 수 있는지 판단한다.
• 양자역학에 의존하지 않고 유일한 가정이 비신호 원리일 경우 키 추출의 한계를 분석한다.
• 모든 프라이버시 암호화 단계 이후 공격자의 잔류 지식에 하한을 설정한다.

제안 방법

• 에러가 유한한 ε인 n개의 비신호 상자(상관관계)로 이루어진 시스템을 모델링하며, 이는 잠재적인 양자 또는 상대성 기반 상관관계를 나타낸다.
• 공격자의 시스템에 대한 지식을 모델링하기 위해 상자 분할 w를 정의하며, 이는 해시 함수 f를 본 후에 적응적으로 선택할 수 있도록 한다.
• 분포 P의 균일도에 대한 비균일도를 측정하는 δ(P, P_U)를 도입하며, 이를 공격자의 지식을 정량화하는 데 사용한다.
• 레미마 10, 12, 13, 14의 조합을 사용하여, 분할 w에 대해 주어진 최종 비트 f(X)의 비균일도 δ_w^f에 하한을 유도한다.
• 부등식 δ_w^f ≥ max(1/2·δ, ε(1−4δ²))를 적용하고, 이 표현식을 최소화하여 악성 경우의 하한을 찾는다.
• 최종 하한을 도출한다: δ_w^f ≥ (−1 + √(1 + 64ε²)) / (32ε), 이는 n에 독립적이며 0에서 멀리 떨어져 있다.

실험 결과

연구 질문

• RQ1 임의의 해시 함수를 사용한 프라이버시 암호화가 비신호 시스템에서 공격자의 지식을 무시 가능 수준으로 줄일 수 있는가?
• RQ2 비신호 원리만을 가정할 경우, 프라이버시 암호화를 통해 장치 독립적 보안을 달성할 수 있는가?
• RQ3 비신호 상자 수 n이 프라이버시 암호화 이후 공격자의 지식 하한에 영향을 미치는가?
• RQ4 상자들이 오차가 있는 경우에도 해싱을 통해 공격자의 지식을 임의로 작게 만들 수 있는가?

주요 결과

• 최종 키에서 공격자의 지식은 비균일도 δ_w^f로 측정되며, 이는 (−1 + √(1 + 64ε²)) / (32ε)로 하한이 보장되며, 이는 상자 수 n에 독립적이다.
• ε가 작을 경우 이 하한은 약 2ε 비례로 증가하므로, 개별 상자들이 거의 완벽하더라도 공격자의 지식은 여전히 유의미하게 유지된다.
• ε ≈ 0.25일 때 이 하한은 ε/2를 초과하여, 프라이버시 암호화가 상자 오차의 일정 비율 이하로 지식을 줄일 수 없음을 시사한다.
• 집단 공격 조건에서도 결과가 유지되며, 비신호 상관관계 기반 장치 독립적 환경에서 프라이버시 암호화가 실패함을 보여준다.
• 해시 함수 f의 선택과는 무관하게 불가능성 결과가 유지되며, 공격자는 악성 경우의 분할 w를 적응적으로 선택할 수 있다.
• 이는 근본적인 제약을 설정한다: 비신호 프라이버시 암호화는 일반적으로 불가능하며, 오차가 없는 상자(ε → 0)의 이상적 경우조차도 시스템의 구조가 유도하는 내재된 비균일성으로 인해 불가능하다.