[논문 리뷰] Approximate Privacy: PARs for Set Problems

Joan Feigenbaum, Aaron D. Jaggard외 1명|arXiv (Cornell University)|2010. 01. 19.

Privacy-Preserving Technologies in Data참고 문헌 15인용 수 5

한 줄 요약

이 논문은 보안 양자실 계산에서 이산성 및 교차 문제를 해결하는 데 사용되는 세 가지 자연스러운 프로토콜에 대해 개인정보 보호 근사 비율(PAR)을 도입하고 분석한다. 개인정보 보호 수준이 PAR로 측정될 때, 입력 크기 k에 따라 본질적으로 지수적으로 증가함을 보이며, 특히 양 당사자 간의 개인정보 보호 손실이 균형을 이루기 때문에 교환 프로토콜이 다른 프로토콜보다 훨씬 공정하다고 규명한다.

ABSTRACT

In previous work (arXiv:0910.5714), we introduced the Privacy Approximation Ratio (PAR) and used it to study the privacy of protocols for second-price Vickrey auctions and Yao's millionaires problem. Here, we study the PARs of multiple protocols for both the disjointness problem (in which two participants, each with a private subset of {1,...,k}, determine whether their sets are disjoint) and the intersection problem (in which the two participants, each with a private subset of {1,...,k}, determine the intersection of their private sets). We show that the privacy, as measured by the PAR, provided by any protocol for each of these problems is necessarily exponential (in k). We also consider the ratio between the subjective PARs with respect to each player in order to show that one protocol for each of these problems is significantly fairer than the others (in the sense that it has a similarly bad effect on the privacy of both players).

연구 동기 및 목표

• 이산성 및 교차 문제에 대해 보안 양자실 프로토콜의 개인정보 보호 손실을 개인정보 보호 근사 비율(PAR) 프레임워크를 사용하여 정량화하는 것.
• 각 당사자가 경험하는 주관적 PAR를 비교하여 다양한 프로토콜의 공정성을 평가하는 것.
• 이 문제들에서 개인정보 보호는 본질적으로 제한되어 있으며, 입력 크기 k에 따라 PAR 값이 지수적으로 증가함을 규명하는 것.
• 모든 프로토콜이 지수적 개인정보 보호 손실을 보일지라도, 양 당사자 간에 가장 균형 잡힌 개인정보 보호를 제공하는 프로토콜을 특정하는 것.

제안 방법

• 경매 및 요아의 백만장자 문제에 처음으로 개발된 PAR 프레임워크를 이산성 및 교차 문제에 적용하는 것.
• 세 가지 프로토콜인 단순, 1단계 우선, 교환 프로토콜에 대해 이산성 및 교차 문제 모두에서 객관적 및 주관적 PAR를 계산하는 것.
• 통신 행렬 내 단색 직사각형의 조합 분석을 통해 프로토콜에 의해 유도된 직사각형의 크기를 이상적인 단색 영역에 대비하여 계산하는 것.
• k비트 입력 공간에서 직사각형 크기 합계(v_k 및 h_k)에 대한 재귀 관계를 유도하여 평균 케이스 PAR를 계산하는 것.
• 생성 함수와 닫힌 형태의 해법(예: v_k = 6·5^{k-1}, h_k = 4·5^{k-1})을 사용하여 정확한 PAR 값을 계산하는 것.
• 각 당사자에 대한 주관적 PAR 비율(플레이어 1 대비 플레이어 2)을 비교하여 공정성을 평가하며, 교환 프로토콜의 경우 비율은 1.5이고, 다른 프로토콜의 경우 (3/2)^k임을 확인함.

실험 결과

연구 질문

• RQ1 이산성 및 교차 문제를 해결하는 데 사용되는 프로토콜에 대해 최악의 경우 및 평균 케이스 개인정보 보호 근사 비율(PAR)은 무엇인가요?
• RQ2 이 문제들에서 개인정보 보호 손실(PAR로 측정)은 입력 크기 k에 따라 어떻게 증가하는가요?
• RQ3 고려된 세 가지 프로토콜 중에서 두 당사자 간에 가장 균형 잡힌 개인정보 보호를 제공하는 것은 무엇인가요?
• RQ4 각 당사자에 대한 주관적 PAR 비율은 보안 계산에서 의미 있는 공정성 지표로 기능할 수 있는가요?
• RQ5 이 문제들에 대해 평균 케이스 PAR에 하한이 존재하는가, 그리고 k에 따라 지수적으로 증가하는가?

주요 결과

• 집합 교차 문제인 Intersection_k에 대해 단순 프로토콜과 1단계 우선 프로토콜의 평균 케이스 PAR는 균일 분포 기준으로 (3/2)^k이다.
• 교환 프로토콜의 평균 케이스 PAR는 플레이어 1 기준으로 (4/5)(5/4)^k, 플레이어 2 기준으로 (6/5)(5/4)^k이다.
• 단순 및 1단계 우선 프로토콜의 주관적 PAR 비율(플레이어 2 대비 플레이어 1)은 (3/2)^k로, k가 증가함에 따라 점점 더 불균형해짐을 나타낸다.
• 교환 프로토콜의 경우 주관적 PAR 비율은 정확히 3/2로, 다른 프로토콜에 비해 훨씬 뛰어난 공정성을 보임을 확인한다.
• 모든 프로토콜이 평균 케이스 PAR에서 지수적 증가를 보이며, 이는 개인정보 보호가 이 문제들에서 본질적으로 제한되어 있음을 확인한다.
• 논문은 Disjointness_k 및 Intersection_k에 대한 평균 케이스 PAR의 하한이 k에 대해 지수적임을 추측하며, 관찰된 결과와 일치함을 제시한다.