[논문 리뷰] Robustness of Maximal $α$-Leakage to Side Information

Jiachun Liao, Lalitha Sankar외 2명|arXiv (Cornell University)|2019. 01. 21.

Cryptography and Data Security참고 문헌 13인용 수 5

한 줄 요약

이 논문은 측면 정보를 고려한 정보 泄露를 위한 강력한 측정법으로 조건부 최대 α-누출을 제안하며, 측면 정보가 비밀 데이터에 대해 공개된 데이터와 조건부로 독립일 경우 최대 α-누출이 조건부 α-누출을 상한선으로 가지는 것을 증명한다. 주요 결과는 최대 α-누출이 공개 데이터 생성에 사용되지 않은 임의의 측면 정보에 대해 강건함을 보이며, 이는 불확실한 적대자 지식을 가진 실세계 시스템에서 신뢰할 수 있는 개인정보 보호 메트릭으로서의 유용성을 높인다.

ABSTRACT

Maximal $α$-leakage is a tunable measure of information leakage based on the accuracy of guessing an arbitrary function of private data based on public data. The parameter $α$ determines the loss function used to measure the accuracy of a belief, ranging from log-loss at $α=1$ to the probability of error at $α=\infty$. To study the effect of side information on this measure, we introduce and define conditional maximal $α$-leakage. We show that, for a chosen mapping (channel) from the actual (viewed as private) data to the released (public) data and some side information, the conditional maximal $α$-leakage is the supremum (over all side information) of the conditional Arimoto channel capacity where the conditioning is on the side information. We prove that if the side information is conditionally independent of the public data given the private data, the side information cannot increase the information leakage.

연구 동기 및 목표

• 측면 정보가 정보 누출 측정법에 미치는 영향을 체계화하기 위해, 특히 적대자가 보조 지식을 가질 수 있는 공격적 환경에서의 영향을 다루는 것.
• 측면 정보를 통합한 최대 α-누출의 확장으로서 조건부 최대 α-누출을 정의하고 분석하는 것.
• 측면 정보가 비밀 데이터에 대해 공개된 데이터와 조건부로 독립일 경우 최대 α-누출이 조건부 α-누출을 상한선으로 유지함을 증명하는 것.
• 최대 α-누출이 공개 데이터 생성 과정에 사용되지 않은 임의의 측면 정보에 대해 강건함을 보이며, 실용적 개인정보 보호 메트릭으로서의 유용성을 높이는 것.

제안 방법

• 논문은 조건부 아리모토 채널 용량의 상한선으로서, 모든 측면 정보에 대해 최대화된 조건부 아리모토 채널 용량을 조건부 최대 α-누출로 정의한다. 여기서 조건부는 측면 정보에 기반한다.
• 측면 정보를 마르코프 체인 X → Y → Z로 모델링하며, Z는 적대자가 관찰하는 측면 정보를 나타낸다.
• 누출을 특성화하기 위해 시브슨 및 아리모토 상호정보를 사용하며, α는 로그 손실(α=1)에서 오류 확률(α→∞)로 향하는 손실 함수를 제어한다.
• 특히 가장 정보량이 많은 Z*에 초점을 맞춰, 측면 정보 Z의 값에 기반한 분리된 지지 집합을 가진 보조 랜덤 변수 U를 철저히 설계한 구성적 증명을 제공한다.
• 연속적 확장 기법을 활용해 레니 지수 엔트로피와 아리모토 조건부 엔트로피를 사용하여 α=1 및 α=∞의 극한을 다룬다.
• |𝒰₀|→∞로 수렴할 때, 조건부 누출 기여도가 가장 정보량 많은 Z=z*에서 분리됨을 보여주며, 이로써 조건부 최대 α-누출은 모든 조건부 분포 P̃X ≪ P_{X|Z=z*}에 대해 시브슨 상호정보의 상한선과 일치함을 밝힌다.

실험 결과

연구 질문

• RQ1 측면 정보는 최대 α-누출이 포괄하는 것 이상의 정보 누출을 증가시키는가?
• RQ2 측면 정보가 비밀 데이터에 대해 공개된 데이터와 조건부로 독립일 경우 최대 α-누출이 누출에 대해 강건한 상한선으로 기능할 수 있는가?
• RQ3 조건부 최대 α-누출은 조건부 아리모토 및 시브슨 상호정보와 어떻게 관련이 있는가?
• RQ4 최대 α-누출은 공개 데이터 생성 과정에 사용되지 않은 측면 정보의 존재에 대해 불변하는가?

주요 결과

• 측면 정보 Z가 X에 대해 Y와 조건부로 독립일 경우, 즉 X–Y–Z가 마르코프 체인이면 조건부 최대 α-누출은 최대 α-누출에 의해 상한선으로 제한된다.
• 논문은 α>1일 경우, 조건부 최대 α-누출이 모든 조건부 분포 P̃X ≪ P_{X|Z=z*}에 대해 시브슨 상호정보의 상한선과 일치함을 증명한다. 여기서 z*는 조건부 누출을 최대화하는 값이다.
• 이 결과는 최대 α-누출이 공개 데이터 생성에 사용되지 않은 측면 정보에 대해 강건함을 의미하며, 보수적인 개인정보 보호 메트릭으로서의 역할을 유지함을 시사한다.
• 이 상한선은 날카롭고, 지지 집합 크기가 증가하는 보조 랜덤 변수 U의 구성을 통해 달성 가능하며, 이는 점점 더 정보량이 많은 Z 값에서 조건부 누출을 분리시킨다.
• 분석 결과, 조건부 독립 가정 하에서 최대 α-누출이 조건부 누출을 포함함을 확인하며, 이는 개인정보 보호 시스템 설계에서의 적용 타당성을 검증한다.