[논문 리뷰] The $\epsilon$-error Capacity of Symmetric PIR with Byzantine Adversaries

Qiwen Wang, Hua Sun외 1명|arXiv (Cornell University)|2018. 09. 11.

Cryptography and Data Security참고 문헌 7인용 수 5

한 줄 요약

이 논문은 오류 확률이 점점 줄어들고 지식이 제한된 바르비아티안 대상자에 대한 대칭적 개인 정보 검색(SPIR)을 연구한다. 비밀 통신 채널이나 손상되지 않은 서버 응답을 도입함으로써, 저자들은 오류가 없는, 전지적 대상자에 대한 경우 $1 - \frac{T + 2B}{N}$에서부터의 용량이 $1 - \frac{T + B}{N}$으로 증가함을 보여주며, 오류 수정 비용을 줄여 오류 탐지에 B개의 응답을 낭비할 필요 없이 효과적으로 줄인다.

ABSTRACT

The capacity of symmetric private information retrieval with $K$ messages, $N$ servers (out of which any $T$ may collude), and an omniscient Byzantine adversary (who can corrupt any $B$ answers) is shown to be $1 - \frac{T+2B}{N}$ [1], under the requirement of zero probability of error. In this work, we show that by weakening the adversary slightly (either providing secret low rate channels between the servers and the user, or limiting the observation of the adversary), and allowing vanishing probability of error, the capacity increases to $1 - \frac{T+B}{N}$.

연구 동기 및 목표

• 대상자가 전지적에서 부분적으로 눈을 가린 상태로 약화되고, 오류 기준이 오류가 없는 것에서 ǫ-오류로 완화될 경우 대칭적 PIR의 용량이 향상되는지 조사하기.
• 두 모델 하에서 ǫ-BlTSPIR 문제의 용량을 규명하기: (1) 서버와 사용자 간의 비밀 저속도 채널, (2) 적어도 한 개의 손상되지 않은 서버 응답.
• 0-BfTSPIR 모델에서 2B개의 낭비된 응답을 비밀 정보를 활용하고 약간의 디코딩 오류를 허용함으로써 B로 줄일 수 있는지 확인하기.

제안 방법

• 두 단계 검색 프로토콜을 제안: 첫 번째 단계에서 서버는 비밀 채널을 통해 임의의 기호와 해시를 전송하여 오류 탐지 기능을 제공한다.
• 선형 전처리 및 해시 함수를 사용하여 메시지의 인증 태그를 생성함으로써 데이터 기밀성 확보 및 오류 탐지 기능을 실현한다.
• 유한체 위에서 비밀 공유 기법을 사용하여 해시와 임의의 기호를 안전하게 전송하며, 오류 확률은 $N/q^N$ 으로 제한된다.
• 두 번째 단계에서 사용자는 메시지와 관련된 해시를 비밀리에 검색하기 위해 메시지 길이를 연장한 수정된 SPIR 기반 프로토콜을 사용한다.
• 한의 부등식과 정보 이론적 경계를 적용하여 역방향 결과를 유도하고, 제안된 용량의 최적성 증명한다.
• 합집합 경계를 사용하여 메시지 길이가 증가함에 따라 전체 오류 확률이 0으로 수렴함을 보였다.

실험 결과

연구 질문

• RQ1 대상자가 더 이상 전지적이 아니고 오류가 없는 조건이 ǫ-오류로 완화될 경우 대칭적 PIR의 용량이 증가할 수 있는가?
• RQ2 비밀 채널이나 손상되지 않은 응답을 도입함으로써 바르비아티안 오류 수정 비용을 2B개의 응답에서 B개로 줄일 수 있는가?
• RQ3 숨겨진 정보(예: 비밀 채널 또는 관찰되지 않는 응답)의 존재가 더 효율적인 용량 달성 프로토콜을 가능하게 하는가?
• RQ4 동일한 시스템 파rameter 하에서 ǫ-BlTSPIR의 용량은 0-BfTSPIR 모델과 비교해 어떻게 되는가?
• RQ5 대칭적 PIR에서 대상자 지식, 오류 내성, 검색 효율성 간의 기본적인 상호 교환 관계는 무엇인가?

주요 결과

• ǫ-BlTSPIR의 용량은 $1 - \frac{T + B}{N}$ 이며, 이는 0-BfTSPIR의 $1 - \frac{T + 2B}{N}$ 용량보다 엄밀히 높다.
• 이 개선은 두 모델 하에서 달성되었으며: (1) 서버와 사용자 간의 비밀 저속도 채널, (2) 대상자가 관찰하거나 손상시킬 수 없는 적어도 한 개의 서버 응답.
• 제안된 프로토콜에서 오류 확률은 메시지 길이 $L \to \infty$ 가 되면서 0으로 수렴하여 ǫ-오류 기준을 충족한다.
• 질문의 선형 독립성과 균일한 임의의 기호를 통해 사용자 기밀성과 데이터베이스 기밀성이 유지된다.
• 필요한 공유 난수의 크기는 $L \to \infty$ 가 되면서 $\rho \to \frac{T}{N - T - B}$ 로 수렴하여 점점 더 낮아지는 난수 오버헤드를 보여준다.
• 역방향 증명을 통해 어떤 프로토콜도 유도된 용량을 초과할 수 없음을 입증하여 결과의 최적성을 확인한다.