[논문 리뷰] Security of EPR-based Quantum Key Distribution

Hitoshi Inamori|ArXiv.org|2000. 08. 14.

Quantum Information and Cryptography참고 문헌 22인용 수 8

한 줄 요약

이 논문은 계산 능력에 제한이 없는 적대자에 대비하여 EPR 기반 양자 키 분배(E91 프로토콜)의 보안을 입증한다. 상호작용식 오류 보정 방식을 사용하며, 공유 키의 조건부 엔트로피가 적대자의 시야를 고려할 때 최대값에 지수적으로 가까워지므로, 프로토콜의 보안 파라미터가 증가함에 따라 완벽한 기밀성이 보장됨을 입증한다.

ABSTRACT

We propose a proof of the security of EPR-based quantum key distribution against enemies with unlimited computational power. The proof holds for a protocol using interactive error-reconciliation scheme. We assume in this paper that the legitimate parties receive a given number of single photon signals and that their measurement devices are perfect.

연구 동기 및 목표

• 계산 능력에 제한이 없는 적대자에 대비하여 E91 EPR 기반 양자 키 분배 프로토콜의 무조건적 보안을 확립하기.
• 보안 파라미터 N을 정의하여, 비밀성 손실이 N에 따라 지수적으로 감소함을 보여주기.
• 적대자의 시야를 고려할 때 비밀 키의 조건부 엔트로피가 m − ε(N, m) 이하로 떨어지지 않음을 증명하여 근사적인 완벽한 기밀성 확보하기.
• 이dealized 조건 하에서 프로토콜을 분석하기: 완벽한 검출기와 단일 광자 입력을 가정하며, 실용적 구현보다는 이론적 보안에 초점 맞추기.

제안 방법

• 조건부 엔트로피를 기반으로 한 보안의 형식적 정의를 채택하여, 기밀성에 대해 H(κ|v) ≥ m − ε(N, m) 이 성립하도록 요구한다.
• 보안 수준을 정량화하기 위해 보안 파라미터 N를 사용하며, ε(N, m)은 N에 대해 지수적으로 감소한다.
• 키와 적대자의 시야의 공동 분포와 균일 분포 사이의 트레이스 거리에 대한 한계를 적용한다.
• 측정 결과와 오류율에 기반한 하위공간으로 도청 전략을 분해한다.
• 트레이스 거리와 통계적 거리(Statistical distance)를 사용하여, 이브의 시야를 고려할 때 키 분포가 균일성에서 벗어나지 않도록 한계를 설정한다.
• 고전적 정보이론을 적용하여 통계적 거리와 조건부 엔트로피를 연결하여 H(κ|v) ≥ m − 2(m + 1/ln 2)(θ(r) + 2√θ(r)) 를 도출한다.

실험 결과

연구 질문

• RQ1 E91 EPR 기반 양자 키 분배 프로토콜은 계산 능력에 제한이 없는 적대자에 대해 증명 가능할 수 있는가?
• RQ2 보안 파라미터 N에 따라 프로토콜의 보안 수준은 어떻게 변화하며, 비밀성 손실은 지수적으로 한계를 가지는가?
• RQ3 양자 채널의 오류율과 도청자가 확보할 수 있는 정보의 양 사이의 관계는 무엇인가?
• RQ4 적대자의 시야를 고려할 때 키의 조건부 엔트로피가 최대값에 가까워지는 조건은 무엇인가?
• RQ5 이 보안 증명은 비완전한 장치와 유한한 자원을 가진 실용적 구현으로 확장 가능한가?

주요 결과

• 보안 파라미터 N이 충분히 클 경우 프로토콜은 완벽한 기밀성을 확보하며, 비밀성 손실 ε(N, m)은 N에 대해 지수적으로 감소한다.
• 조건부 엔트로피 H(κ|v)는 m − 2(m + 1/ln 2)(θ(r) + 2√θ(r)) 이하로 떨어지지 않으며, 여기서 θ(r)는 오류율 r에 대한 함수이다.
• 증명에 따르면 키와 적대자의 시야의 공동 분포는 균일 분포에 통계적으로 가깝고, 통계적 거리는 2(θ(r) + 2√θ(r)) 이하로 제한된다.
• 이 결과는 완벽한 검출기와 단일 광자 입력을 가정한 조건 하에서 성립하지만, 이는 이상적인 조건이다.
• 검증 테스트를 통과하고 보안 파라미터가 충분히 클 경우 E91 프로토콜이 무조건적으로 보안됨을 확인한다.
• 이 증명에서 사용된 기법은 신뢰할 수 없는 장치를 가진 실용적 EPR 기반 프로토콜의 보안을 입증하는 데 일반화될 수 있다.