[논문 리뷰] Oblivious Storage with Low I/O Overhead

Michael T. Goodrich, Michael Mitzenmacher외 2명|arXiv (Cornell University)|2011. 10. 09.

Cryptography and Data Security참고 문헌 18인용 수 4

한 줄 요약

이 논문은 $c \geq 2$인 상수 $c$에 대해 클라이언트 측의 비공개 메모리 크기 $O(N^{1/c})$를 활용하여 재귀적 버퍼 셔플 기법을 적용함으로써, 데이터 접근당 $O(1)$의 분할된 I/O 오버헤드를 달성하는 새로운 오블리비ous 스토리지(ос) 기법을 제안한다. 이 방법은 통신 및 스토리지 비용을 최소화하면서도 데이터 내용과 액세스 패턴의 기밀성을 보장하며, 아마존 S3와 같은 클라우드 스토리지 시스템에서 I/O 효율성과 금전적 비용 측면에서 이전의 OS 솔루션을 능가한다.

ABSTRACT

We study oblivious storage (OS), a natural way to model privacy-preserving data outsourcing where a client, Alice, stores sensitive data at an honest-but-curious server, Bob. We show that Alice can hide both the content of her data and the pattern in which she accesses her data, with high probability, using a method that achieves O(1) amortized rounds of communication between her and Bob for each data access. We assume that Alice and Bob exchange small messages, of size $O(N^{1/c})$, for some constant $c\ge2$, in a single round, where $N$ is the size of the data set that Alice is storing with Bob. We also assume that Alice has a private memory of size $2N^{1/c}$. These assumptions model real-world cloud storage scenarios, where trade-offs occur between latency, bandwidth, and the size of the client's private memory.

연구 동기 및 목표

• 반간통 클라우드 서버로부터 데이터 내용과 액세스 패턴을 모두 은폐하는 실용적인 오블리비어스 스토리지 시스템을 설계하는 것.
• 강력한 기밀 보장 조건을 유지하면서도 클라우드 기반 데이터 외주 시스템에서 I/O 오버헤드와 통신 비용을 최소화하는 것.
• 아마존 S3와 같은 클라우드 스토리지 서비스에서의 원격 연산 수를 최소화하여 오블리비어스 액세스의 금전적 비용을 줄이는 것.
• 프로토콜을 단순화하고 스토리지 과잉을 줄임으로써 기존의 ORAM 및 OS 솔루션을 향상시키는 것.
• 파rameter $c$를 통해 클라이언트 메모리와 통신 크기 사이의 조절 가능한 트레이드오프를 통해 액세스당 $O(1)$ 분할된 I/O를 달성하는 것.

제안 방법

• 이 기법은 다수의 스토리지 레벨에 걸쳐 데이터 항목과 더미 항목을 오블리비어스하게 관리하기 위해 재귀적 버퍼 셔플 알고리즘을 사용하여, 액세스 패턴이 구분 불가능하도록 보장한다.
• 클라이언트 측의 비공개 메모리 크기 $O(N^{1/c})$를 활용하여 중간 버퍼와 메타데이터를 보관하고, 원격 I/O 이전에 효율적인 로컬 셔플링을 수행한다.
• 각 액세스는 $O(1)$의 원격 I/O 수를 포함한다: 액세스당 하나의 get과 하나의 delete 연산이며, I/O 수는 다수의 운영을 통해 분할된다.
• 시스템은 클라우드 스토리지를 키-밸류 스토어로 모델링하고, 대역폭과 클라이언트 메모리 간 균형을 맞추기 위해 $O(N^{1/c})$ 크기의 메시지 크기를 사용한다.
• 가장 낮은 레벨에서 쿠키키 해싱 유사 구조를 사용하여 오블리비어스 액세스 중 삽입 및 삭제를 효율적으로 지원한다.
• 프로토콜은 전체 ORAM 시뮬레이션의 복잡성을 피하기 위해 실제 클라우드 API와 호환되도록 설계되어 있다.

실험 결과

연구 질문

• RQ1 강력한 기밀 보장 조건을 유지하면서도 액세스당 $O(1)$의 분할된 I/O 오버헤드를 달성할 수 있는 오블리비어스 스토리지가 가능할 수 있는가?
• RQ2 클라이언트 메모리 크기 $O(N^{1/c})$의 선택이 오블리비어스 스토리지의 I/O 효율성과 통신 비용에 어떤 영향을 미치는가?
• RQ3 재귀적 버퍼 셔플 기법은 기존의 OS 기법 대비 I/O 및 데이터 전송 오버헤드를 줄일 수 있는가?
• RQ4 실제 클라우드 플랫폼인 아마존 S3에서 제안된 OS 기법의 실용적 성능과 금전적 비용은 어떠한가?
• RQ5 기존 솔루션인 Boneh 등 [4] 및 Williams 등 [23]과 비교했을 때 제안된 방법의 I/O 효율성과 스토리지 오버헤드는 어떠한가?

주요 결과

• 제안된 OS 기법은 액세스당 $O(1)$의 분할된 I/O 오버헤드를 달성하며, $c=2$일 경우 분할된 경우 2개의 I/O, $c=3$일 경우 7개의 I/O를 필요로 한다.
• $c=2$일 경우, Boneh 등 [4] 대비 분할된 경우 I/O 오버헤드를 13에서 1로 줄였으며, 전송된 데이터량도 10% 감소시켰다.
• 100만 개의 1KB 항목에 대한 액세스에 대해 $c=2$일 경우 총 금전적 비용은 약 $55,066로 추정되며, 원격 연산 수가 적어 다른 대안보다 크게 낮다.
• $c=2$일 경우, 평균적으로 항목당 액세스 지연 시간이 500ms로 줄었으며, 10만 개 항목에 대해 Boneh 등 [4] 대비 30% 향상된 액세스 시간을 기록했다.
• 스토리지 오버헤드는 $c=2$일 경우 $N + 2N^{1/2}$이며, Boneh 등 [4]와 동일하며 $O(N\log N)$ 기법보다 크게 낮다.
• 이 방법은 효율적으로 확장 가능하다: $c=3$일 경우 분할된 I/O 수는 여전히 낮게 유지되며, 100만 개 항목에 대한 총 비용은 $170,646로, 경쟁 기법보다 낮다.