[논문 리뷰] Cross Subspace Alignment and the Asymptotic Capacity of $X$-Secure $T$-Private Information Retrieval

Zhuqing Jia, Hua Sun외 1명|arXiv (Cornell University)|2018. 08. 22.

Cryptography and Data Security참고 문헌 34인용 수 10

한 줄 요약

이 논문은 임의의 수의 서버 $N$, 보안 임계값 $X$, 프라이버시 임계값 $T$ 에 대해 X-보안 T-개인정보 조회(X-secure T-private information retrieval, XSTPIR)의 渐近적 용량을 규명하며, $N > X+T$ 일 때 용량은 $1 - \frac{X+T}{N}$ 이고, 그 외의 경우 0임을 보여준다. 핵심 혁신은 교차 부분공간 정렬(Cross subspace alignment)으로, 선형적으로 종속된 리드-솔로몬 코드 매개변수를 사용하여 간섭을 정렬하면서도 원하는 신호의 해석 가능성을 유지함으로써, 보안적이고 프라이버시 보장이 되는 조회 시스템에서 최적의 전송률 스케일링을 가능하게 한다.

ABSTRACT

$X$-secure and $T$-private information retrieval (XSTPIR) is a form of private information retrieval where data security is guaranteed against collusion among up to $X$ servers and the user's privacy is guaranteed against collusion among up to $T$ servers. The capacity of XSTPIR is characterized for arbitrary number of servers $N$, and arbitrary security and privacy thresholds $X$ and $T$, in the limit as the number of messages $K ightarrow\infty$. Capacity is also characterized for any number of messages if either $N=3, X=T=1$ or if $N\leq X+T$. Insights are drawn from these results, about aligning versus decoding noise, dependence of PIR rate on field size, and robustness to symmetric security constraints. In particular, the idea of cross subspace alignment, i.e., introducing a subspace dependence between Reed-Solomon code parameters, emerges as the optimal way to align undesired terms while keeping desired terms resolvable.

연구 동기 및 목표

• 메시지 수 $K \to \infty$ 일 때 X-보안 T-개인정보 조회(XSTPIR)의 정보이론적 용량을 渐近적 영역에서 규명하는 것.
• 이전 연구에서의 격차를 해소하기 위해, 모든 $N$, $X$, $T$ 에 대해 정확한 渐近적 용량을 규명함으로써 $N \leq X+T$ 인 경우를 포함한 모든 경우를 다루는 것.
• 보안적 PIR 체계에서 간섭을 최적으로 정렬하면서도 원하는 신호의 해석 가능성을 유지할 수 있는 메커니즘으로서 교차 부분공간 정렬의 개념을 도입하고 분석하는 것.
• 분산 PIR 시스템에서 필드 크기, 노이즈 정렬, 대칭적 보안 제약 조건에 대한 내성적 저항성 간의 상호작용을 조사하는 것.

제안 방법

• 공통 부분공간에서 유도된 선형 조합을 통해 코드 매개변수를 선택함으로써 교차 부분공간 정렬을 가능하게 하는 리드-솔로몬 코드 기반의 새로운 코딩 체계를 제안.
• 정형화된 질의 및 응답 설계를 통해 서버 간 불필요한 간섭 항목을 정렬하면서도 사용자가 원하는 신호를 분리할 수 있도록 하는 것.
• 상호정보량 분석 및 조건부 독립성을 활용하여 대칭적 보안성과 $T$-프라이버시를 입증함으로써, 공모하는 서버들 사이에 정보 泄露가 없음을 보장.
• XSTPIR 용량에 대한 일반적인 상한선을 유도하고, $N \leq X+T$ 인 경우와 $N=3, X=T=1$ 인 경우에 대해 정확한 용량을 증명함.
• 스키마에 세 기호로 구성된 응답 구조를 도입: 하나는 원하는 메시지를 위한 것이고, 하나는 독립된 노이즈로 보호된 것이며, 하나는 가역적 변환을 통해 추가 노이즈가 첨가된 것임.
• 임의의 벡터 $\mathbf{Z}'$, $\mathbf{Q}_\theta$, 행렬 $\mathbf{B}$ 를 포함한 대수적 구성 방법을 사용하여, 불필요한 메시지가 모든 조건 하에서도 숨겨져 있음을 보장함.

실험 결과

연구 질문

• RQ1 메시지 수 $K \to \infty$ 일 때, 임의의 $N$, $X$, $T$ 에 대해 XSTPIR의 渐近적 용량은 무엇인가?
• RQ2 보안적이고 프라이버시 보장이 되는 조회에서 원하는 신호의 해석 가능성을 훼손하지 않으면서 간섭을 어떻게 최적으로 정렬할 수 있는가?
• RQ3 X-보안 및 $T$-프라이버시 제약 조건 하에서 최적의 PIR 전송률을 달성하기 위해 필드 크기와 코드 구조는 어떤 역할을 하는가?
• RQ4 전통적인 정렬 또는 복호 전략과 비교해 교차 부분공간 정렬은 전송률과 내성적 저항성 측면에서 어떻게 다를까?
• RQ5 공모하는 서버들이 존재하는 상황에서도 높은 조회 전송률을 달성하면서 대칭적 보안을 유지할 수 있는가?

주요 결과

• XSTPIR의 渐近적 용량은 $N > X + T$ 일 때 $1 - \frac{X+T}{N}$ 이고, 그 외의 경우 0이며, 이는 보안 PIR 분야에서 오랫동안 남아 있던 열린 문제를 해결한다.
• $N=3$, $X=T=1$ 일 때 정확한 용량은 $1 - \frac{2}{3} = \frac{1}{3}$ 이며, 이는 渐近적 결과와 일치하며 소규모 환경에서의 최적성 확인을 가능하게 한다.
• $N \leq X + T$ 일 때 용량은 정확히 0이며, 이는 이러한 공모 서버 제약 조건 하에서는 어떤 프라이버시 보장이 가능한 조회도 존재하지 않음을 시사한다.
• 리드-솔로몬 코드 매개변수를 공통 부분공간에서 유도하는 교차 부분공간 정렬이 간섭을 최적으로 정렬하면서도 신호의 해석 가능성을 유지하는 데 있어 최적의 방법으로 부상한다.
• 이 스킴은 대칭적 보안을 달성한다: $\mathbf{Z}'$ 가 0이 아니더라도 응답에 독립된 노이즈 항목이 존재하므로 사용자는 불필요한 메시지에 대해 아무것도 알 수 없다.
• 모든 $\mathbf{Z}'$ 의 구성 조건 하에서 원하는 메시지와 응답 간의 상호정보량이 0임을 입증함으로써, 완벽한 프라이버시와 보안성을 입증한다.