[논문 리뷰] Large deviation analysis for quantum security via smoothing of Renyi entropy of order 2

Masahito Hayashi|arXiv (Cornell University)|2012. 02. 01.

Wireless Communication Security Techniques참고 문헌 38인용 수 10

한 줄 요약

이 논문은 레니 엔트로피의 2차 수준을 이용한 스무딩을 통해 양자 보안에 대한 대칭 이탈 한계를 수립하며, 고전 결과를 양자 설정으로 확장한다. 유니버설 2 및 $\varepsilon$-거의 쌍대 유니버설 2 해시 함수 하에서 $L_1$ 구분 가능성과 수정된 상호정보량의 지수 감소율을 도출하여, 오류 수정을 동반한 비밀 키 생성에서 최소 엔트로피 스무딩보다 더 날카운 보안 한계를 제공한다.

ABSTRACT

It is known that the security evaluation can be done by smoothing of Rényi entropy of order 2 in the classical and quantum settings when we apply universal$_2$ hash functions. Using the smoothing of Renyi entropy of order 2, we derive security bounds for $L_1$ distinguishability and modified mutual information criterion under the classical and quantum setting, and have derived these exponential decreasing rates. These results are extended to the case when we apply $\varepsilon$-almost dual universal$_2$ hash functions. Further, we apply this analysis to the secret key generation with error correction.

연구 동기 및 목표

• 고전적 대칭 이탈 분석을 레니 엔트로피의 2차 수준으로부터 양자 설정으로 확장한다.
• 레니 엔트로피의 2차 수준에 대한 근사 스무딩을 이용해, $L_1$ 구분 가능성과 수정된 상호정보량 기준 하에서 비밀 키 생성의 보안을 평가한다.
• 비점근적 영역에서 유니버설 2 및 $\varepsilon$-거의 쌍대 유니버설 2 해시 함수 하에서 보안 기준의 지수 감소율을 유도한다.
• 양자 설정에서 레니 엔트로피의 2차 수준에 대한 근사 스무딩과 최소 엔트로피의 엄밀한 스무딩 간의 보안 한계에서의 성능을 비교한다.
• 유도된 한계를 오류 수정을 동반한 비밀 키 생성에 적용하여 구성 가능한 보안을 확보한다.

제안 방법

• 양자 상태의 불확실성 척도로 레니 엔트로피의 2차 수준을 사용하며, 특히 프라이버시 확장의 맥락에서 적용한다.
• 해싱 이후 실제 상태와 이상 상태 간의 $L_1$ 구분 가능성에 대한 상한을 구하기 위해 레니 엔트로피의 2차 수준에 대한 근사 스무딩을 적용한다.
• n중 i.i.d. 설정에서 대칭 이탈 기법을 사용하여 $L_1$ 구분 가능성 기준의 지수 감소율을 도출한다.
• 상호정보량 기준을 수정하여 비밀 키 생성에서 독립성과 균일성을 모두 반영하는 데 확장한다.
• 표준 유니버설 2 함수를 초월하여 결과의 적용 범위를 넓히기 위해 $\varepsilon$-거의 쌍대 유니버설 2 해시 함수를 도입한다.
• 변분 방법과 볼록 쌍대성을 활용하여 레니 엔트로피 스무딩을 발산 최소화와 연결하여 날카운 상한을 가능하게 한다.

실험 결과

연구 질문

• RQ1 레니 엔트로피의 2차 수준에 기반한 대칭 이탈 분석을 고전 설정에서 양자 설정으로 확장할 수 있는가?
• RQ2 양자 영역에서 유니버설 2 해시 함수 하에서 $L_1$ 구분 가능성과 수정된 상호정보량의 지수 감소율은 무엇인가?
• RQ3 보안 한계 측면에서 레니 엔트로피의 2차 수준에 대한 근사 스무딩은 최소 엔트로피의 엄밀한 스무딩보다 어떻게 다를까?
• RQ4 $\varepsilon$-거의 쌍대 유니버설 2 해시 함수의 성능은 날카운 보안 한계를 달성하는 데 어떻게 기여하는가?
• RQ5 유도된 한계는 오류 수정을 동반한 비밀 키 생성에 적용 가능하며 구성 가능한 보안을 유지하는가?

주요 결과

• 논문은 근사 스무딩을 통한 레니 엔트로피의 2차 수준을 이용해 양자 설정에서 $L_1$ 구분 가능성에 대해 날카운 지수 감소율을 도출하였으며, 측면 정보가 없는 경우 고전적 한계와 일치한다.
• 수정된 상호정보량 기준이 균일성과 독립성을 모두 반영하여 $L_1$ 구분 가능성과 보완적으로 유용함을 입증하였다.
• n중 i.i.d. 경우에서 도출된 상한은 측면 정보가 없을 경우 지수 감소율의 하한으로서 날카로움을 보였다.
• $\varepsilon$-거의 쌍대 유니버설 2 해시 함수의 사용은 결과의 적용 범위를 더 일반적인 양자 프로토콜로 확장한다.
• 분석 결과, 양자 설정에서 레니 엔트로피의 2차 수준에 대한 근사 스무딩은 최소 엔트로피의 엄밀한 스무딩보다 엄밀한 보안 한계를 제공함을 보였다.
• 결과는 오류 수정을 동반한 비밀 키 생성에 적용 가능하며, $L_1$ 구분 가능성과 상호정보량 기준을 통해 구성 가능한 보안 보장을 제공한다.