[논문 리뷰] Reliable, Deniable, and Hidable Communication over Multipath Networks

Swanand Kadhe, Sidharth Jaggi외 2명|arXiv (Cornell University)|2014. 01. 17.

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

한 줄 요약

이 논문은 다중경로 네트워크를 통해 암호화된 메시지를 앨리스가 Bob에게 신뢰성 있게, 부인 가능하게, 숨겨서 전송하기 위한 통신 프로토콜을 제안한다. 여기서 앨리스는 수동적인 탐문자인 윌리의 탐지로부터 회피한다. 병렬 링크를 통해 무작위 그룹화와 확률적 코딩을 사용함으로써, 이 방식은 부인 가능성(윌리가 전송 여부를 감지할 수 없음)과 은폐성(윌리가 메시지에 대한 정보를 확보할 수 없음)을 모두 달성하며, 내부 및 외부 경계가 일치하여 이러한 통신의 용량을 규명한다.

ABSTRACT

We consider the scenario wherein Alice wants to (potentially) communicate to the intended receiver Bob over a network consisting of multiple parallel links in the presence of a passive eavesdropper Willie, who observes an unknown subset of links. A primary goal of our communication protocol is to make the communication "deniable", {\it i.e.}, Willie should not be able to {\it reliably} estimate whether or not Alice is transmitting any {\it covert} information to Bob. Moreover, if Alice is indeed actively communicating, her covert messages should be information-theoretically "hidable" in the sense that Willie's observations should not {\it leak any information} about Alice's (potential) message to Bob -- our notion of hidability is slightly stronger than the notion of information-theoretic strong secrecy well-studied in the literature, and may be of independent interest. It can be shown that deniability does not imply either hidability or (weak or strong) information-theoretic secrecy; nor does any form of information-theoretic secrecy imply deniability. We present matching inner and outer bounds on the capacity for deniable and hidable communication over {\it multipath networks}.

연구 동기 및 목표

• 수동적인 탐문자 윌리가 존재하는 상황에서 앨리스에서 보브로의 신뢰성 있는 전달을 보장하는 통신 프로토콜을 설계하는 것.
• 부인 가능성 확보: 윌리가 앨리스가 정보를 전송하고 있는지 여부를 신뢰성 있게 판단할 수 없도록 하는 것.
• 은폐성 확보: 윌리가 전송을 감지하더라도 앨리스의 암호화된 메시지에 대한 정보를 전혀 확보하지 못하도록 하는 것.
• 다중경로 네트워크에서 신뢰성 있고, 부인 가능하며, 은폐 가능한 통신의 용량 한계를 정식화하고 특성화하는 것.
• 부인 가능성과 은폐성이 상호 독립적인 성질임을 입증하며, 상호 간에 상호 영향을 주지 않음을 보여주는 것.

제안 방법

• 다중 병렬 링크로 구성된 다중경로 네트워크 모델을 정의하며, 윌리는 랜덤하게 일부 링크만 관찰한다.
• 부인 가능성을 평가하기 위해 가설 검증 기반 지표를 도입하여, 윌리가 무해한 통신과 활성 통신을 구분할 수 없도록 보장한다.
• 무작위 그룹화를 사용해 코드북을 생성하고, 메시지를 다수의 메시지로 매핑하는 일대다 확률적 매핑을 통한 코딩을 수행한다.
• 강한 일반성과 유형 기반 분석을 통해 오류 확률을 제한하고 신뢰성을 확보한다.
• 변동 거리와 엔트로피 경계 등의 정보이론적 도구를 사용해 부인 가능성과 은폐성을 분석한다.
• 윌리의 부분 관찰 하에서 일반화된 시퀀스와 그룹화의 행동을 분석함으로써 내부 및 외부 용량 경계를 유도한다.

실험 결과

연구 질문

• RQ1 수동적인 탐문자가 존재하는 다중경로 네트워크에서 신뢰성 있고, 부인 가능하며, 은폐 가능한 통신의 기본 용량 한계는 무엇인가?
• RQ2 부인 가능성과 은폐성이 동시에 존재할 수 있으며, 만약 가능하다면 어떤 조건에서 가능할까?
• RQ3 부인 가능한 통신의 용량과 은폐 가능한 통신의 용량은 어떻게 비교되며, 서로 동일한가?
• RQ4 단일 프로토콜이 동시에 부인 가능성과 은폐성을 달성할 수 있는가? 이를 가능하게 하는 코딩 전략은 무엇인가?
• RQ5 부인 가능성과 정보이론적 비밀성 사이에 분리가 존재하는가? 은폐성은 강력한 비밀성과 어떻게 다를까?

주요 결과

• 논문은 다중경로 네트워크에서 신뢰성 있고, 부인 가능하며, 은폐 가능한 통신의 용량에 대해 내부 및 외부 경계가 일치함을 입증한다.
• 신뢰성 있고 부인 가능한 통신 용량이 무작위 그룹화와 확률적 코딩을 통해 달성 가능함을 규명한다.
• 신뢰성 있고 부인 가능하며 은폐 가능한 통신 용량 역시 특성화되었으며, 동일한 확률적 코딩 방식이 최적 성능을 달성한다.
• 은폐성이 강력한 정보이론적 비밀성보다 엄격히 강력함을 입증하며, 이는 윌리의 관찰과 메시지 간 상호정보량이 0이 되어야 한다는 조건을 요구하기 때문이다.
• 분석을 통해 부인 가능성과 은폐성이 상호 독립적임을 증명하였으며, 둘 다 적절한 프로토콜 설계로 동시에 달성 가능하다.
• 블록 길이가 증가함에 따라 윌리가 전송을 정확히 감지할 확률은 0에 수렴한다. 이는 유도된 용량 한계 이하의 전송률을 사용할 경우에 성립한다.