[논문 리뷰] Distributed Private Data Analysis: On Simultaneously Solving How and What

Amos Beimel, Kobbi Nissim외 1명|arXiv (Cornell University)|2011. 03. 14.

Cryptography and Data Security참고 문헌 19인용 수 8

한 줄 요약

이 논문은 분산 환경에서의 개인 정보 보호 분석을 위한 새로운 범주를 조사한다. 이 범주는 무엇을 계산할 것인지와 어떻게 계산할 것인지 동시에 결정하는 방식이며, 차례로 다른ially private 함수를 선택하고 나서 이를 위한 보안 함수 평가(SFE) 프로토콜을 구성하는 기존의 방식과는 다릅니다. 주요 발견은 이차 함수인 이진 합과 같은 대칭 함수의 경우, 오차가 O(√n) 허용 가능할 때 새로운 범주가 더 효율적인 프로토콜을 제공하지만, 오차가 o(√n)이고 라운드 수가 일정할 경우 기존의 순차적 접근 방식에 비해 특별한 이점이 없다는 것입니다.

ABSTRACT

We examine the combination of two directions in the field of privacy concerning computations over distributed private inputs - secure function evaluation (SFE) and differential privacy. While in both the goal is to privately evaluate some function of the individual inputs, the privacy requirements are significantly different. The general feasibility results for SFE suggest a natural paradigm for implementing differentially private analyses distributively: First choose what to compute, i.e., a differentially private analysis; Then decide how to compute it, i.e., construct an SFE protocol for this analysis. We initiate an examination whether there are advantages to a paradigm where both decisions are made simultaneously. In particular, we investigate under which accuracy requirements it is beneficial to adapt this paradigm for computing a collection of functions including binary sum, gap threshold, and approximate median queries. Our results imply that when computing the binary sum of $n$ distributed inputs then: * When we require that the error is $o(\sqrt{n})$ and the number of rounds is constant, there is no benefit in the new paradigm. * When we allow an error of $O(\sqrt{n})$, the new paradigm yields more efficient protocols when we consider protocols that compute symmetric functions. Our results also yield new separations between the local and global models of computations for private data analysis.

연구 동기 및 목표

• 어떻게 계산할 것인지와 무엇을 계산할 것인지의 설계를 통합함으로써 분산 환경에서 더 효율적인 차등 개인 정보 보호 프로토콜을 도출할 수 있는지 검토하는 것.
• 보안 함수 평가에서 통신 효율성, 오차 내성, 라운드 복잡도 간의 상호 상충 관계를 분석하는 것.
• 동시 설계의 영향을 분석함으로써 국지 모델과 전역 모델 간의 새로운 분리(분리성)를 확립하는 것.
• 정확도 및 통신 제약 조건이 새로운 범주가 전통적인 순차적 접근(먼저 차등 개인 정보 보장 함수를 선택하고, 그 다음 SFE 프로토콜을 구축하는 방식)을 능가하는 조건을 규명하는 것.

제안 방법

• 다른ially private 함수의 선택과 보안 계산 프로토콜의 설계를 별도로 하기보다는, 함께 최적화하는 새로운 범주를 제안하는 것.
• 전역 모델과 국지 모델 모두에서 이진 합, 갭 임계값, 근사 중앙값의 세 가지 기본 쿼리에 대해 프로토콜의 효율성을 분석하는 것.
• n명의 정직하지만 호기심이 많은 당사자들이 완전한 네트워크로 연결되어 있으며, 최대 t명의 연합에 대해 개인 정보 보호가 보장되어야 한다는 형식적 모델을 사용하는 것.
• 당사자 연합에 대해 차등 개인 정보 보장 조건을 적용하여, 표준 SFE 모델에 차등 개인 정보 보장 보장을 통합한 것.
• 특히 대칭 함수와 고립된 당사자(어느 연합에도 속하지 않은 당사자)의 행동에 초점을 맞춰 프로토콜 전송 및 시각의 확률적 분석을 수행하는 것.
• 대칭성과 전송 등가성 논증을 활용하여, 만약 프로토콜이 차등 개인 정보 보장이면서 대칭이라면, 당사자가 메시지를 보낼 확률이 입력과 무관하다는 것을 증명하고, 이는 오차 및 통신의 범위에 대한 제약 조건을 이끌어내는 것.

실험 결과

연구 질문

• RQ1 함수 계산 방식과 보안 프로토콜 설계를 동시에 고려함으로써, 순차적 접근 방식보다 더 효율적인 차등 개인 정보 보장 프로토콜을 도출할 수 있는가?
• RQ2 오차와 라운드 복잡도의 어떤 조건에서 새로운 범주가 통신 또는 효율성 측면에서 이점이 있는가?
• RQ3 함수와 프로토콜을 동시에 설계할 경우, 국지 모델과 전역 모델 간의 분리 관계는 어떻게 존재하는가?
• RQ4 함수의 대칭성이 분산 환경에서의 차등 개인 정보 보장 프로토콜의 실현 가능성과 효율성에 어떤 영향을 미치는가?

주요 결과

• 이진 합 쿼리의 경우, 오차가 o(√n)여야 하고 라운드 수가 일정할 때, 새로운 범주가 순차적 접근 방식에 비해 특별한 이점이 없다.
• 오차가 허용 가능한 O(√n)일 경우, 이차 함수인 이진 합과 같은 대칭 함수에 대해 새로운 범주가 더 효율적인 프로토콜을 제공하며, 이는 통신 감소와 더 나은 개인 정보 보장 보장을 의미한다.
• 논문은 국지 모델과 전역 모델 간의 새로운 분리 관계를 확립한다: 국지 모델에서는 동시에 함수와 프로토콜을 선택한 프로토콜이 표준 SFE 구조에 의존하는 것보다 더 높은 효율성을 달성할 수 있다.
• 대칭 함수의 경우, 프로토콜이 차등 개인 정보 보장이면서 대칭이라면, 당사자가 메시지를 보낼 확률이 입력과 무관하다는 점을 증명할 수 있으며, 이는 프로토콜 행동과 오차의 제약 조건에 강력한 영향을 미친다.
• 분석을 통해 프로토콜이 차등 개인 정보 보장이면서 대칭이라면, 전송 분포가 입력 교환에 대해 불변임을 증명하며, 이는 특정 구성에서 오차가 최소 Ω(√n) 이상이어야 한다는 것을 의미한다.
• 모든 입력이 0인 경우 오차가 n/4 이하일 확률이 1/2 초과인 프로토콜은, 고립된 당사자들만 값이 1인 입력에서 오차가 n/4 이상일 확률도 1/2 초과여야 하며, 이는 대칭 환경에서 내재된 오차의 상충 관계를 보여준다.