[논문 리뷰] Equivocations, Exponents and Second-Order Coding Rates under Various Rényi Information Measures

Masahito Hayashi, Vincent Y. F. Tan|arXiv (Cornell University)|2015. 04. 10.

Wireless Communication Security Techniques참고 문헌 53인용 수 5

한 줄 요약

이 논문은 레니 정보 측도를 사용하여 등변성, 오차 지수 및 제2차 코딩 속도의 渐近적 행동을 분석하며, 고전적 샤논 기반 보안 지표를 일반화한다. 다양한 레니 분산에 대해 보안 측도에 대한 날카운 감소한 경계를 확립하고, 특히 최소 엔트로피 및 충돌 엔트로피 영역에서 $ s > 0 $ 인 레니 측도를 사용할 경우, 키 생성 속도와 지수 감쇠 속도가 샤논 기반 결과와 상당히 다름을 보여준다.

ABSTRACT

We evaluate the asymptotics of equivocations, their exponents as well as their second-order coding rates under various Rényi information measures. Specifically, we consider the effect of applying a hash function on a source and we quantify the level of non-uniformity and dependence of the compressed source from another correlated source when the number of copies of the sources is large. Unlike previous works that use Shannon information measures to quantify randomness, information or uniformity, we define our security measures in terms of a more general class of information measures--the Rényi information measures and their Gallager-type counterparts. A special case of these Rényi information measure is the class of Shannon information measures. We prove tight asymptotic results for the security measures and their exponential rates of decay. We also prove bounds on the second-order asymptotics and show that these bounds match when the magnitudes of the second-order coding rates are large. We do so by establishing new classes non-asymptotic bounds on the equivocation and evaluating these bounds using various probabilistic limit theorems asymptotically.

연구 동기 및 목표

• 샤논 엔트로피를 초월하여 레니 정보 측도와 그 갈라거 유형 대체 측도를 활용해 정보 이론적 보안 지표를 일반화하기 위해.
• 특히 균일성과 상관된 탈취자 소스로부터의 독립성 측면에서, 레니 분산 $ D_{1+s} $ 하에서 등변성의 渐近적 행동을 정량화하기 위해.
• 고정 압축 속도 하에서 다양한 레니 분산에 대해 보안 측도의 지수 감쇠 속도(오차 지수)를 유도하기 위해.
• 보안 측도의 제2차 渐近적 행동을 조사하고, 큰 제2차 코딩 속도 크기에서 일치하는 날카운 경계를 확립하기 위해.
• 최적의 키 생성 속도와 보안 성능가 레니 순서 $ s $ 의 선택에 따라 결정되며, 샤논 측도 외에도 중요함을 입증하기 위해.

제안 방법

• 비상한 경계를 도출하기 위해 레니 분산 $ D_{1+s}(P_{f(A^n),E^n} \| P_{\text{mix},f(\mathcal{A}^n)} \times P_{E^n}) $ 를 사용하여 비균일성과 의존성을 측정하는 보안 측도로 활용한다.
• 레니 분산 기반에서 유도된 비상한 경계를 사용하고, 확률적 극한 정리(예: 대수의 법칙, 중심극한정리)를 적용하여 평가한다.
• 시브슨 및 아미토의 상호정보 측도를 샤논 상호정보의 레니 기반 대체 측도로 도입하고 분석한다.
• 임계값 $ c/M $ 기반 조건부 확률의 분할을 사용하여 $ C_{1-s}^{\uparrow}(f(A)|E|P_{AE}) $ 의 상한을 도출함으로써, 엄밀한 渐近적 제어를 가능하게 한다.
• 대칭화 및 볼록성 논증을 사용하여 해시 함수의 최적성(레니 분산 최소화)을 증명하고, $ s > 0 $ 에 대해 $ (u)^{1-s} + (v)^{1-s} $ 에 대한 부등식을 활용한다.
• 잔류 해시 렘마 프레임워크를 사용하고, 특히 최소 엔트로피 및 충돌 엔트로피($ s=2 $) 영역에서 레니 엔트로피 설정으로 확장한다.

실험 결과

연구 질문

• RQ1 $ s > 0 $ 인 레니 정보 측도는 샤논 측도와 비교해 키 생성의 기본 한계를 어떻게 변화시키는가?
• RQ2 무작위 해싱 하에서 레니 기반 등변성 측도의 지수 감쇠 속도는 무엇이며, 샤논 기반 오차 지수와 어떻게 다를까?
• RQ3 레니 보안 측도의 제2차 渐近적 행동은 무엇이며, 제2차 코딩 속도가 클 경우 어떻게 행동하는가?
• RQ4 레니 등변성에 대한 날카운 비상한 경계를 도출하고, 극한 정리로 이를 渐近적으로 평가할 수 있는가?
• RQ5 레니 순서 $ s $ 의 선택은 상관된 탈취자 소스로부터의 균일성과 독립성을 달성하기 위한 해시 함수 성능에 어떻게 영향을 미치는가?

주요 결과

• 모든 $ s > 0 $ 에 대해, 레니 분산 $ D_{1+s} $ 는 샤논 케이스($ s=0 $)와는 다름을 보이며, 최적의 속도가 레니 순서에 따라 달라짐을 보여준다.
• 레니 기반 등변성의 지수 감쇠 속도는 $ \frac{1}{n}\log D_{1+s}(P_{f(A^n),E^n} \| P_{\text{mix}} \times P_{E^n}) $ 를 통해 특징지어지며, 이는 고전적 오차 지수 분석을 일반화한다.
• 제2차 渐近적 행동은 날카운 경계로 제한되며, 제2차 코딩 속도 크기가 클 경우 이 경계들이 일치함을 보여, 渐近적 날카움을 시사한다.
• 최적의 해시 함수는 $ \sum_i \left( \sum_{a \in f^{-1}(i)} P_A(a) \right)^{1-s} $ 를 최소화하며, 이는 $ c/M $ 에서 임계값 기반으로 질량을 균형 있게 분배함으로써 달성된다.
• 레니 순서 $ s=2 $ 에서 결과는 기존의 충돌 엔트로피 기반 경계를 복원하며, 이는 잔류 해시 렘마 맥락에서 프레임워크의 타당성을 검증한다.
• 논문은 $ \mathrm{e}^{-\frac{s}{1-s}C_{1-s}^{\uparrow}(f(A)|E)} \leq \sum_e P_E(e) \left( P_{A|E=e}\{a: P_{A|E=e}(a) \geq c/M\} c^{-s} + P_{A|E=e}\{a: P_{A|E=e}(a) < c/M\}^{1-s} \right)^{\frac{1}{1-s}} $ 를 증명하며, 이는 보안 측도의 엄밀한 제어를 가능하게 한다.