[논문 리뷰] Private Information Retrieval from Coded Storage Systems with Colluding, Byzantine, and Unresponsive Servers

Razane Tajeddine, Oliver W. Gnilke외 3명|arXiv (Cornell University)|2018. 06. 20.

Advanced Data Storage Technologies참고 문헌 23인용 수 5

한 줄 요약

이 논문은 [n,k] 리드-솔로몬 코드를 사용하여 유령, 비잔티노스, 응답하지 않는 서버를 처리하는 코딩된 스토리지 시스템을 위한 비밀 정보 검색(PIR) 체계를 제안한다. 이는 $\frac{n - r - (k + 2b + t - 1)}{n - r}$의 PIR 속도를 달성하며, $k=1$일 경우 점점 커지는 파일 수에 대해 점근적으로 용량을 달성하고, 대칭 및 비대칭 설정에서 알려진 최적 속도와 일치한다.

ABSTRACT

The problem of Private Information Retrieval (PIR) from coded storage systems with colluding, byzantine, and unresponsive servers is considered. An explicit scheme using an $[n,k]$ Reed-Solomon storage code is designed, protecting against $t$-collusion and handling up to $b$ byzantine and $r$ unresponsive servers, when $n>k+t+2b+r-1$. This scheme achieves a PIR rate of $\frac{n-r-(k+2b+t-1)}{n-r}$. In the case where the capacity is known, namely when $k=1$, it is asymptotically capacity-achieving as the number of files grows. Lastly, the scheme is adapted to symmetric PIR.

연구 동기 및 목표

• 코딩된 스토리지 시스템에서 유령, 비잔티노스, 응답하지 않는 서버가 존재하는 상황에서도 사용자 프라이버시를 보장하는 PIR 체계를 설계하는 것.
• 서버 유령, 오류, 응답하지 않는 상태와 같은 현실적인 악성 환경 조건 하에서도 높은 PIR 속도를 달성하는 것.
• 기존 PIR 체계를 확장하여 비잔티노스 서버와 응답하지 않는 서버를 동시에 처리할 수 있도록 하여, 이전 연구에서 비정수 속도를 가진 것보다 향상된 성능을 달성하는 것.
• 비밀 정보 유출이 비요청 파일에 대해 발생하지 않도록 방지하는 대칭 PIR 변형을 구축하여 알려진 용량 한계와 일치시키는 것.
• 제안된 속도가 점근적으로 최적일 것이라는 추측과, 대칭 변형이 대칭 PIR 용량을 달성할 것이라는 추측을 제기하는 것.

제안 방법

• 체계는 [n,k] 리드-솔로몬 코드를 사용하여 파일을 n개의 서버에 분산 저장하여 오류 및 손실 복구를 가능하게 한다.
• 사용자는 코드워드의 선형 조합으로 구성된 쿼리를 생성하여 원하는 파일을 검색하면서도 프라이버시를 유지하도록 설계된다.
• 체계는 리드-솔로몬 코드의 성질을 활용하여 최대 b개의 비잔티노스 오류와 r개의 응답하지 않는 서버로부터의 손실을 수정한다.
• 핵심 요소 중 하나는 대칭 변형에서 공유 랜덤성 소스를 사용하여 비요청 파일에 대한 정보 유출이 발생하지 않도록 보장하는 것이다.
• 쿼리 설계는 비잔티노스가 아니고 응답하는 서버들의 응답을 사용하여 사용자가 원하는 파일을 재구성할 수 있도록 하며, 잘못된 응답과 누락된 응답은 무시하거나 수정한다.
• 체계는 쿼리에 균일하게 랜덤한 코드워드를 통합하여 대칭 PIR로 변형되며, 이는 복구에 영향을 주지 않는 노이즈 항목으로 흡수된다.

실험 결과

연구 질문

• RQ1 t-유령, b-비잔티노스, r-응답하지 않는 서버가 존재하는 코딩된 스토리지 시스템에서 최대로 달성 가능한 PIR 속도는 무엇인가?
• RQ2 동시에 유령, 비잔티노스 장애, 응답하지 않는 상태를 처리하면서도 높은 효율성을 유지하는 PIR 체계를 설계할 수 있는가?
• RQ3 파일 수가 무한히 커질 때 제안된 PIR 속도가 점근적으로 최적일 수 있는가?
• RQ4 체계를 대칭화하여 비요청 파일에 대한 정보 유출을 방지할 수 있는가?
• RQ5 이 악성 환경 설정에서 대칭 PIR를 달성하기 위해 필요한 최소한의 공유 랜덤성은 얼마인가?

주요 결과

• 제안된 PIR 체계는 $\frac{n - r - (k + 2b + t - 1)}{n - r}$의 속도를 달성하며, $k$가 $n - 2b - r - t + 1$로 나누어떨어지지 않을 경우 이전 체계보다 엄격히 높은 속도를 제공한다.
• 특히 $k=1$일 경우, 파일 수 $M \to \infty$로 갈수록 점근적으로 용량을 달성하며, 알려진 점근적 용량 $\frac{n - r - (1 + 2b + t - 1)}{n - r}$과 일치한다.
• 체계는 [22]의 이전 연구와 비교해 속도 안정성에서 뛰어나며, 파일 수에 관계없이 일정한 속도를 유지하는 반면 [22]의 경우 속도가 감소함을 보였다.
• 체계의 대칭 변형은 동일한 속도를 달성하며, 대칭 PIR 용량이 $\frac{n - r - (k + t + 2b - 1)}{n - r}$일 것이라는 추측 하에 용량을 달성함을 입증하였다.
• 대칭성을 달성하기 위해 라운드당 $k + t - 1$ 단위의 공유 랜덤성이 필요하며, 이는 알려진 대칭 PIR 구성에서의 최소 엔트로피 요구량과 일치한다.
• 그림 7의 수치적 비교 결과, 제안된 체계는 파일 수 $M$이 다양할 경우 항상 [22]의 체계를 능가하며, 특히 $b>0$ 또는 $r>0$일 경우 두드러진 성능 향상을 보였다.