[논문 리뷰] Distributed Hypothesis Testing With a Privacy Constraint

Sreejith Sreekumar, Asaf Cohen외 1명|arXiv (Cornell University)|2018. 07. 08.

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

한 줄 요약

이 논문은 통신 비용 제약 조건 하에 원격 관측자가 감지기로 데이터를 전송하면서 비밀 정보 누출을 최소화하는 분산 이진 가설 검정을 연구한다. 조건부 독립 및 영률 통신 설정에서 비율-오류 지수-유출량 및 비율-오류 지수-왜곡 간의 단일 문자 내부 경계와 정확한 특성화를 도출하며, 비밀 보장 조건 하에서 강한 역전가가 성립하지 않음을 보여준다.

ABSTRACT

A distributed binary hypothesis testing (HT) problem involving two parties, a remote observer and a detector, is studied. The remote observer has access to a discrete memoryless source, and communicates its observations to the detector via a rate-limited noiseless channel. The detector observes another discrete memoryless source, and performs a binary hypothesis test on the joint distribution of its own observations with those of the observer. While the goal of the observer is to maximize the type II error exponent of the test for a given type I error probability constraint, it also wants to keep a private part of its observations as oblivious to the detector as possible. Considering both equivocation and average distortion as possible measures of privacy, the trade-off between the communication rate from the observer to the detector, the type II error exponent, and privacy is studied. For the general HT problem, we establish single-letter inner bounds on both the rate-error exponent-equivocation and rate-error exponent-distortion trade-offs. Subsequently, single-letter characterizations for both trade-offs are obtained (i) for testing against conditional independence of the observer's observations from those of the detector, given some additional side-information at the detector; and (ii) when the communication rate constraint over the channel is zero. Finally, we show by providing a counterexample that, the strong converse which holds for distributed HT without a privacy constraint, does not hold when a privacy constraint is imposed. This implies that, in general, the rate-error exponent-equivocation and rate-error exponent-distortion trade-offs are not independent of the type I error probability constraint.

연구 동기 및 목표

• 통신 비용 제약 조건 하에 원격 관측자가 감지기와 소통하는 분산 이진 가설 검정 시나리오를 모델링하기.
• 감지기의 시각에서 관측자의 비밀 정보 누출(유출량) 또는 관측값 왜곡을 최소화하는 방식으로 비밀 보장 조건을 통합하기.
• 통신 비용, 제2종 오류 지수, 비밀 보장 지표(유출량 또는 왜곡) 간의 상호 관계 분석하기.
• 기존의 분산 가설 검정에서 성립하는 강한 역전가 성질이 비밀 보장 조건 하에서도 유지되는지 여부 확인하기.
• 특수한 경우, 즉 조건부 독립 및 영률 통신에서 통신 비용-오류 지수-비밀 보장 간의 상호 관계에 대한 단일 문자 특성화 제공하기.

제안 방법

• 관측자와 감지기 각각에 대해 이산 메모리 없는 소스를 정의하고, 통신 비용 제약이 있는 무잡음 채널을 통해 정보를 전송하는 문제를 수식화하기.
• 관측자와 감지기의 관측값 조합 분포에 대한 이진 가설 검정으로 문제를 정의하기.
• 관측자의 비밀 부분의 기밀성과 감지기의 시각에서의 왜곡을 측정하기 위해 유출량과 평균 왜곡을 비밀 보장 지표로 정의하기.
• 정보 이론적 기법을 사용하여 비율-오류 지수-유출량 및 비율-오류 지수-왜곡 간의 상호 관계에 대한 단일 문자 내부 경계 유도하기.
• 두 가지 조건 하에서 정확한 단일 문자 특성화 도출하기: (i) 보조 정보가 주어진 조건부 독립에서의 가설 검정, (ii) 영률 통신 설정.
• 비밀 보장 조건이 존재할 경우 강한 역전가가 성립하지 않음을 보여주는 반례 제시하기. 이는 상호 관계가 제1종 오류 확률 제약 조건에 의존함을 의미한다.

실험 결과

연구 질문

• RQ1 비밀 보장 조건이 있는 분산 가설 검정에서 통신 비용, 제2종 오류 지수, 비밀 보장 지표(유출량 또는 왜곡) 간의 근본적인 상호 관계는 무엇인가?
• RQ2 관측자의 관측값이 보조 정보가 주어진 조건부 독립일 경우 비율-오류 지수-유출량 및 비율-오류 지수-왜곡 상호 관계는 어떻게 행동하는가?
• RQ3 통신 비용이 0일 경우 상호 관계는 어떻게 되는가? 비밀 보장과 탐지 성능 간의 균형을 유지할 수 있는가?
• RQ4 기존의 분산 가설 검정에서 성립하는 강한 역전가 성질이 비밀 보장 조건이 있을 경우에도 유지되는가?
• RQ5 비밀 보장 조건 하에서 제1종 오류 확률 제약 조건은 통신 비용-오류 지수-비밀 보장 상호 관계에 어떤 영향을 미치는가?

주요 결과

• 일반적인 비밀 보장 조건이 있는 분산 가설 검정 문제에서 비율-오류 지수-유출량 및 비율-오류 지수-왜곡 상호 관계에 대한 단일 문자 내부 경계를 확립하였다.
• 관측자의 관측값이 보조 정보가 주어진 조건부 독립일 경우 비율-오류 지수-유출량 및 비율-오류 지수-왜곡 상호 관계에 대한 정확한 단일 문자 특성화를 도출하였다.
• 영률 통신 설정의 경우에도 정확한 특성화를 유도하였으며, 이는 전송 없이도 비밀 보장과 탐지 성능 간의 균형을 유지할 수 있음을 보여주었다.
• 비밀 보장 조건이 존재할 경우 강한 역전가가 성립하지 않음을 보여주는 반례를 제시하였다. 이는 상호 관계가 제1종 오류 확률 제약 조건에 의존함을 의미한다.
• 결과적으로 비밀 보장 조건은 시스템의 거동을 근본적으로 변화시키며, 통신 비용-오류 지수-비밀 보장 상호 관계가 제1종 오류 확률에 의존하게 되어, 제약 조건이 없는 경우와는 다름을 보여주었다.