[논문 리뷰] Assisted Common Information with Applications to Secure Two-Party Computation

Vinod M. Prabhakaran, Manoj Prabhakaran|arXiv (Cornell University)|2010. 02. 09.

Wireless Communication Security Techniques참고 문헌 18인용 수 8

한 줄 요약

이 논문은 상관된 랜덤 변수들 사이의 비정상적이고 거의 공통적인 종속성을 포착하기 위해 Gács-Körner의 공통 정보를 일반화한 삼차원 비율 영역—즉, 보조 공통 정보 영역이라고 불리는 것—을 도입한다. 저자들은 암호 프로토콜이 이 영역을 단조롭게 확장함을 증명함으로써, 안전한 양자리 계산의 효율성에 대해 더 날카로운 상한을 도출하며, 이는 전체 영역의 형태를 고려할 경우 기존의 단일 척도(예: Gács-Körner의 척도)에 기반한 상한이 상당히 열등할 수 있음을 보여준다.

ABSTRACT

Secure multi-party computation is a central problem in modern cryptography. An important sub-class of this are problems of the following form: Alice and Bob desire to produce sample(s) of a pair of jointly distributed random variables. Each party must learn nothing more about the other party's output than what its own output reveals. To aid in this, they have available a set up - correlated random variables whose distribution is different from the desired distribution - as well as unlimited noiseless communication. In this paper we present an upperbound on how efficiently a given set up can be used to produce samples from a desired distribution. The key tool we develop is a generalization of the concept of common information of two dependent random variables [Gacs-Korner, 1973]. Our generalization - a three-dimensional region - remedies some of the limitations of the original definition which captured only a limited form of dependence. It also includes as a special case Wyner's common information [Wyner, 1975]. To derive the cryptographic bounds, we rely on a monotonicity property of this region: the region of the "views" of Alice and Bob engaged in any protocol can only monotonically expand and not shrink. Thus, by comparing the regions for the target random variables and the given random variables, we obtain our upperbound.

연구 동기 및 목표

• Gács-Körner의 공통 정보는 상관된 랜덤 변수들 사이의 '거의 공통' 종속성을 포착하지 못한다는 한계를 해결하기 위해.
• 명시적인 공유 구성요소를 초월한 잔여 종속성을 포착할 수 있는 일반화된 공통 정보 척도를 개발하기 위해.
• 이 척도를 적용하여 안전한 양자리 계산 프로토콜의 효율성에 대한 더 날카로운 상한을 도출하기 위해.
• 암호 프로토콜의 시각에 대한 단조성 성질을 정식화하여 목표 및 가용 상관 분포 간의 비교를 가능하게 하기 위해.

제안 방법

• 세 차원 비율 영역 $\mathbb{K}(X;Y)$를 제안하며, 이는 마법사 보조 통신 비율과 달성 가능한 공통 정보 또는 잔여 종속성 간의 트레이드오프를 나타낸다.
• 로컬 계산이 영역을 축소시킬 수 없고, 통신이 영역을 축소시킬 수 없으며, 안전하게 유도된 출력이 영역을 유지하거나 확장하며, 독립적인 쌍이 미량키 소트 합을 통해 추가되는 등의 네 가지 공리 충족하는 단조 영역 $\mathbb{M}$ 을 정의한다.
• 모든 암호 프로토콜 실행 동안 $\mathbb{K}(X;Y)$의 단조성 증명을 통해, 어떤 안전 프로토콜의 시각 영역도 확장될 수는 있지만 축소될 수는 없음을 보여준다.
• 이 단조성 성질을 활용하여 목표 상관 쌍과 소스 상관 쌍의 $\mathbb{K}$-영역을 비교함으로써 프로토콜 효율성에 대한 상한을 도출한다.
• 안전하게 실현 가능한 조건을 필수 조건으로 도출: $n_1$개의 $(U,V)$ 복사본이 $n_2$개의 $(X,Y)$ 복사본으로부터 실현 가능할 경우, $n_1 \mathbb{K}(X;Y) \subseteq n_2 \mathbb{K}(U;V)$ 이다.
• 축의 절편 외에 $\mathbb{K}$-영역의 기하학적 분석, 즉 평면과의 교차 및 점 포함 여부를 활용하여, 이전 방법이 축 절편만을 고려한 것보다 더 날카로운 상한을 계산한다.

실험 결과

연구 질문

• RQ1 Gács-Körner의 공통 정보는 명시적인 공유 구성요소로 감지되지 않는 '거의 공통' 종속성을 포착할 수 있도록 일반화될 수 있는가?
• RQ2 상관된 랜덤 변수에서 마법사 보조 통신 비율과 달성 가능한 공통 정보 간의 트레이드오프 영역의 구조는 어떠한가?
• RQ3 안전한 양자리 프로토콜에서 시각의 영역은 실행 도중 어떻게 변화하며, 이 변화는 제한될 수 있는가?
• RQ4 축 절편 외에 $\mathbb{K}$-영역의 형태가 기존 스칼라 척도보다 안전 계산 효율성에 대해 더 날카로운 상한을 제공할 수 있는가?
• RQ5 제안된 영역 구조 기반 상한이 타당한지, 또는 더 향상시킬 수 있는가?

주요 결과

• 제안된 단조 영역 $\mathbb{K}(X;Y)$ 는 볼록하고 상향 폐쇄되어 있으며, 상관 쌍 $(X,Y)$ 의 전체 암호학적 내용, 즉 비정상적인 잔여 종속성까지 포괄한다.
• 영역 $\mathbb{K}(X;Y)$ 는 Gács-Körner의 공통 정보(축 절편으로서)와 Wyner의 공통 정보를 특수한 경우로 일반화한다.
• 제3장의 예시에서, 전체 영역 형태를 고려한 상한은 $n_2/n_1 \geq 1.8161$ 을 도출하며, 이는 이전의 축 절편만을 고려한 분석에서의 하한 0.5182 보다 상당히 높다.
• 프로토콜 실행 중 $\mathbb{K}$ 의 단조성은 어떤 안전 프로토콜의 시각 영역도 확장될 수는 있지만 축소될 수는 없음을 의미하며, 이는 소스 및 목표 분포 간의 엄밀한 비교를 가능하게 한다.
• 안전하게 $n_1$개의 $(U,V)$ 복사본을 $n_2$개의 $(X,Y)$ 복사본으로부터 실현하기 위한 필요 조건으로서 $n_1 \mathbb{K}(X;Y) \subseteq n_2 \mathbb{K}(U;V)$ 가 성립하며, 이는 실현 가능성에 대한 기하학적 기준을 제공한다.
• 특히 영역 $\mathbb{K}(X;Y)$ 가 원점 쪽으로 얼마나 볼록하게 부풀어 있는지의 정도가 암호학적 품질을 정량화한다: 볼록도가 낮을수록 암호학적 내용이 높다.