[논문 리뷰] Success Exponent of Wiretapper: A Tradeoff between Secrecy and Reliability

Chung Chan|ArXiv.org|2008. 05. 23.

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

한 줄 요약

이 논문은 웨이트랩 채널에서 보안의 새로운 측도로 성공 지수(success exponent)를 도입하며, 비밀을 순차적인 예/아니요 질문을 통해 추측하는 도청자의 성공 확률의 지수 감쇠율을 정량화한다. 겹침 보조정리(overlap lemma)를 활용한 코드 설계 및 역증명의 확장으로, 도청자의 성공 지수(보안)와 정상 수신자의 오류 지수(신뢰성) 사이의 트레이드오프를 도출하여, 엄격히 양수인 지수를 갖는 공개, 비밀, 추측 속도의 가용률 영역에 대한 내부 경계를 설정한다.

ABSTRACT

Equivocation rate has been widely used as an information-theoretic measure of security after Shannon[10]. It simplifies problems by removing the effect of atypical behavior from the system. In [9], however, Merhav and Arikan considered the alternative of using guessing exponent to analyze the Shannon's cipher system. Because guessing exponent captures the atypical behavior, the strongest expressible notion of secrecy requires the more stringent condition that the size of the key, instead of its entropy rate, to be equal to the size of the message. The relationship between equivocation and guessing exponent are also investigated in [6][7] but it is unclear which is a better measure, and whether there is a unifying measure of security. Instead of using equivocation rate or guessing exponent, we study the wiretap channel in [2] using the success exponent, defined as the exponent of a wiretapper successfully learn the secret after making an exponential number of guesses to a sequential verifier that gives yes/no answer to each guess. By extending the coding scheme in [2][5] and the converse proof in [4] with the new Overlap Lemma 5.2, we obtain a tradeoff between secrecy and reliability expressed in terms of lower bounds on the error and success exponents of authorized and respectively unauthorized decoding of the transmitted messages. From this, we obtain an inner bound to the region of strongly achievable public, private and guessing rate triples for which the exponents are strictly positive. The closure of this region is equivalent to the closure of the region in Theorem 1 of [2] when we treat equivocation rate as the guessing rate. However, it is unclear if the inner bound is tight.

연구 동기 및 목표

• 기존의 등가성률(equivocation rate)과 같은 전통적 보안 측도가 비정상적인 행동을 忽시하고 있으며, 활동적인 암호 분석 위협을 포괄하지 못하므로 이러한 한계를 해결하고자 한다.
• 도청자가 순차적 검증을 통해 비밀을 추측하는 데 드는 노력의 반영으로 더 실용적인 의미를 갖는 성공 지수를 보안의 새로운 측도로 제안하고자 한다.
• 웨이트랩 시스템에서 도청자의 성공 지수(낮은 지수)와 정상 수신자의 오류 지수(낮은 지수) 사이의 트레이드오프를 수립하고자 한다.
• 새로운 코드 설계 및 역증명 프레임워크를 사용하여, 엄격히 양수인 지수를 갖는 공개, 비밀, 추측 속도의 세 가지 조합이 가능한 영역에 대한 내부 경계를 유도하고자 한다.

제안 방법

• 성공 지수는 도청자가 순차적인 예/아니요 질문을 통해 비밀을 올바르게 추측할 확률의 지수 감쇠율로 정의된다.
• 저자들은 참조 [2]의 코드 설계와 [4]의 역증명을 확장하기 위해 새로운 겹침 보조정리(Lemma V.2)를 도입하여 추측 오류와 디코딩 오류의 공동 행동을 다룬다.
• 마르코프 체인 구조를 사용한다: $\mathsf{U} \to \tilde{\mathsf{X}} \to \mathsf{X} \to \mathsf{Y}\mathsf{Z}$, 채널 행동을 유지하기 위해 상호정보량과 엔트로피에 제약 조건을 설정한다.
• 구성은 상호정보량 항목 $I(\mathsf{U};\mathsf{Y})$, $I(\mathsf{U};\mathsf{Z})$, 그리고 조건부 상호정보량이 등가 분포 간에 유지되도록 보장한다.
• 보조 랜덤 변수 $\mathsf{U}$ 의 크기는 $4 + \min\{\lvert\mathcal{X}\rvert-1, \lvert\mathcal{Y}\rvert + \lvert\mathcal{Z}\rvert - 2\}$ 로 제한되어 있어 유한한 복잡도를 확보한다.
• 증명은 Eggleton-Carathéodory 정리를 활용하여 $\mathsf{Y}$ 와 $\mathsf{Z}$ 의 근본 분포를 유지하면서도 보조 변수의 크기를 최소화한다.

실험 결과

연구 질문

• RQ1 성공 지수는 등가성률보다 웨이트랩 채널에서 보다 실용적인 의미를 갖는 보안 측도로 어떻게 사용될 수 있는가?
• RQ2 웨이트랩 시스템에서 도청자의 성공 지수와 정상 수신자의 오류 지수 사이의 근본적인 트레이드오프는 무엇인가?
• RQ3 성공 지수를 보안 지표로 사용하여 공개, 비밀, 추측 속도의 세 가지 조합이 가능한 영역에 대한 새로운 내부 경계를 도출할 수 있는가?
• RQ4 제안된 내부 경계는 타당한지, 아니면 전체 가용률 영역을 완전히 기술하지 못하는가?

주요 결과

• 성공 지수는 도청자가 순차적인 예/아니요 질문을 통해 비밀을 추측하는 활동적 추측 과정을 모델링함으로써 더 강력한 실용적 보안 측도를 제공한다.
• 논문은 도청자의 성공 지수와 정상 수신자의 오류 지수 사이의 트레이드오프 영역을 도출하였으며, 이는 양쪽 지수의 하한을 통해 표현된다.
• 엄격히 양수인 지수를 갖는 공개, 비밀, 추측 속도의 세 가지 조합이 가능한 영역에 대한 내부 경계가 도출되었다.
• 성공 지수를 추측 속도로 간주할 경우, 이 내부 경계의 폐쇄는 [2]의 정리 1의 영역 폐쇄와 동일하다.
• 이 내부 경계가 타당한지 여부는 증명되지 않았으며, 따라서 이 경계가 전체 가용률 영역을 완전히 기술하는지 여부는 여전히 열려 있다.
• 특정 조건에서 $\lvert\mathcal{X}\rvert - 1 \leq \lvert\mathcal{Y}\rvert + \lvert\mathcal{Z}\rvert - 2$ 일 경우, 구성은 $\mathsf{X} = \mathsf{X}'$ 를 보장하여 모델을 단순화한다.