[논문 리뷰] Oblivious RAM Simulation with Efficient Worst-Case Access Overhead

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

Cryptography and Data Security참고 문헌 12인용 수 6

한 줄 요약

이 논문은 기존 방법의 평균화된 오버헤드 수준을 유지하면서도 최악의 경우 접근 오버헤드가 일관되게 유지되는 비공개 RAM(ORAM) 시뮬레이션을 제안한다. 고정된 요청 스케줄과 함께 계층적 캐싱 및 주기적 테이블 재구성 메커니즘을 도입함으로써, 모든 접근이 O(log n) 또는 O(√n log² n)의 최악의 경우 접근만을 유발하게 하여 예측할 수 없는 지연 피크를 제거하면서도 클라우드 스토리지 환경에서의 프라이버시를 유지한다.

ABSTRACT

Oblivious RAM simulation is a method for achieving confidentiality and privacy in cloud computing environments. It involves obscuring the access patterns to a remote storage so that the manager of that storage cannot infer information about its contents. Existing solutions typically involve small amortized overheads for achieving this goal, but nevertheless involve potentially huge variations in access times, depending on when they occur. In this paper, we show how to de-amortize oblivious RAM simulations, so that each access takes a worst-case bounded amount of time.

연구 동기 및 목표

• 실시간 및 다중 사용자 시스템에서의 활용을 방해할 수 있는 O(n) 수준에 이르는 예측할 수 없는 최악의 경우 접근 오버헤드 문제를 해결하기 위해.
• 기존 방법과 동일한 평균화된 접근 오버헤드를 유지하면서도 각 요청에 대해 유한한 최악의 경우 성능을 보장하는 비공개 ORAM 구조를 설계하기 위해.
• 접근 이력에 관계없이 예측 가능하고 유한한 접근 패턴을 유지함으로써 상태 기반 및 상태 없는 환경에서의 ORAM 실용적 구현을 가능하게 하기 위해.
• 데이터 접근 의미론적 정보를 드러내지 않도록 접근 패턴이 항상 비공개임을 보장함으로써 강력한 프라이버시 보장을 유지하기 위해.
• 랜덤 함수와 같은 암호학적 가정에 의존하지 않고, 상태 기반 및 상태 없는 클라이언트 모델 모두를 지원함으로써 이를 달성하기 위해.

제안 방법

• 각 수준 i가 최대 2^(i-1)q개의 항목을 저장하고 매 2^(i-1)q개의 요청마다 재구성되는, 다수의 쿠키히 해시 테이블로 구성된 계층적 ORAM 구조를 사용한다.
• 클라이언트는 현재 캐시(Ccur), 이전 캐시(Cprev), 스태시(S), 그리고 각 수준당 두 개의 테이블(Ti: 활성, T'i: 백업)을 유지하며, 재구성 중에는 T'i를 사용한다.
• 전역 요청 카운터를 q로 나눈 나머지를 기반으로 재구성을 스케줄함으로써, 각 테이블이 정기적인 간격으로 재구성되고 접근 패턴이 고정되고 예측 가능해지도록 보장한다.
• 각 요청 후, 어느 수준에서라도 재구성이 필요한지 확인한다. 만약 필요하면, 작업 중인 테이블 T^W_i에서 Ti 또는 T'i로 데이터를 복사하고, 스태시를 병합하여 일관성을 유지한다.
• 클라이언트의 비공개 메모리는 τ > ν일 때 O(n^τ)이므로, 효율적인 상태 기반 운영이 가능하다.
• 모든 캐시 및 테이블에 대한 접근은 전체를 스캔하고 전체를 다시 쓰므로, 접근 빈도나 위치에 의한 유출가능성이 없으며, 이는 모든 접근이 비공개임을 보장한다.

실험 결과

연구 질문

• RQ1 기존 방법의 평균화된 효율성과 동일하면서도 최악의 경우 접근 오버헤드가 유한한 비공개 RAM을 달성할 수 있는가?
• RQ2 암호학적 유출 없이 암시적 오버헤드를 제거하기 위해 테이블 재구성을 어떻게 스케줄링할 수 있는가?
• RQ3 모든 테이블에서 각 데이터 항목이 요청당 한 번 이하로만 접근되도록 하면서도 비공개성을 유지할 수 있는가?
• RQ4 최악의 경우 보장을 갖는 ORAM을 비공개화하기 위해 필요한 최소한의 클라이언트 메모리 오버헤드는 얼마인가?
• RQ5 비공개화된 ORAM을 상태 기반 또는 상태 없는 환경에서 사용할 수 있으며, 이는 성능과 프라이버시에 어떤 영향을 미치는가?

주요 결과

• 제안된 비공개화된 로그 n 계층적 ORAM은 요청당 O(log n)의 최악의 경우 접근 오버헤드를 달성하여 평균화된 오버헤드와 일치시킨다.
• 비공개화된 제곱근 ORAM 변형은 O(√n log² n)의 최악의 경우 접근 오버헤드를 달성하여 원래 방법의 평균화된 비용과 일치시킨다.
• 이 방법은 어떤 테이블에서도 각 데이터 항목이 요청당 한 번 이하로만 접근되며, 전체 테이블 스캔과 고정된 재구성 스케줄을 통해 비공개성을 유지한다.
• 서버 측에서는 O(n)의 공간 오버헤드를 유지하고, 클라이언트의 비공개 메모리는 τ > ν일 때 O(n^τ)이므로 효율적인 상태 기반 운영이 가능하다.
• 모든 데이터 구조—캐시, 스태시, 테이블—에 대한 접근 패턴은 전체적으로 접근하고 사전에 정의된 방식으로 이루어지므로 비공개적이다.
• 이 구조는 상태 기반 및 상태 없는 배포 모두를 지원하며, 후자의 경우 클라이언트 상태와 무관하게 재구성 스케줄을 설정함으로써 다중 사용자 호환성을 확보한다.