[논문 리뷰] Oblivious Query Processing

Arvind Arasu, Raghav Kaushik|arXiv (Cornell University)|2013. 12. 14.

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

한 줄 요약

이 논문은 암호화된 데이터 상에서의 안전한 데이터베이스 쿼리 실행을 위한 형식적 프레임워크인 무관 쿼리 처리를 소개한다. 이는 액세스 패턴의 泄露를 방지한다. 이는 안전한 쿼리 처리가 무관 쿼리 처리와 동치임을 증명하고, 선택, 조인, 그룹화, 집계를 포함한 광범위한 쿼리 유형에 대해 효율적인 알고리즘을 제시한다. 한편, 3SUM과 같은 어려운 문제로의 감소를 통해 순환 조인과 같은 일부 복잡한 쿼리는 효율적인 무관 솔루션을 가질 가능성이 낮음을 보여준다.

ABSTRACT

Motivated by cloud security concerns, there is an increasing interest in database systems that can store and support queries over encrypted data. A common architecture for such systems is to use a trusted component such as a cryptographic co-processor for query processing that is used to securely decrypt data and perform computations in plaintext. The trusted component has limited memory, so most of the (input and intermediate) data is kept encrypted in an untrusted storage and moved to the trusted component on ``demand.'' In this setting, even with strong encryption, the data access pattern from untrusted storage has the potential to reveal sensitive information; indeed, all existing systems that use a trusted component for query processing over encrypted data have this vulnerability. In this paper, we undertake the first formal study of secure query processing, where an adversary having full knowledge of the query (text) and observing the query execution learns nothing about the underlying database other than the result size of the query on the database. We introduce a simpler notion, oblivious query processing, and show formally that a query admits secure query processing iff it admits oblivious query processing. We present oblivious query processing algorithms for a rich class of database queries involving selections, joins, grouping and aggregation. For queries not handled by our algorithms, we provide some initial evidence that designing oblivious (and therefore secure) algorithms would be hard via reductions from two simple, well-studied problems that are generally believed to be hard. Our study of oblivious query processing also reveals interesting connections to database join theory.

연구 동기 및 목표

• 클라우드 기반 암호화된 데이터베이스 시스템에서 강력한 암호화가 적용되어도 액세스 패턴이 민감한 데이터를 드러낼 수 있는 동적 정보 泄露 문제를 해결하기 위해.
• 어떤 쿼리가 암호화된 데이터를 처리할 때, 쿼리 실행 패턴에서 결과 크기 외에는 아무것도 알 수 없도록 하는 강력한 보안 모델인 무관 쿼리 처리를 형식화하기 위해.
• 선택, 조인, 그룹화, 집계를 포함한 다양한 관계형 쿼리에 대해 효율적인 무관 쿼리 처리 알고리즘을 개발하기 위해.
• 지원 범위 외의 쿼리에 대해 이론적 경직성 결과를 수립하여, 표준 복잡도 가정 하에 효율적인 무관 처리가 불가능할 가능성이 있음을 보여주기 위해.
• 무관 쿼리 처리와 데이터베이스 조인 이론 사이의 연결 고리를 드러내기 위해, 특히 순환 조인과 집합 교차의 맥락에서.

제안 방법

• 쿼리 실행 중 데이터 액세스 패턴이 입력 데이터와 무관한 형식의 보안 모델로 무관 쿼리 처리의 개념을 도입한다.
• 쿼리가 안전한 쿼리 처리를 가능하게 할 수 있음은 무관 쿼리 처리를 가능하게 할 때에만 성립함을 증명하여, 두 개념 간의 동치성을 확립한다.
• 선택, 등가 조인, 그룹화, 집계와 같은 기본적인 관계 연산에 대해 액세스 패턴을 가림 기법을 사용하여 무관 알고리즘을 설계한다.
• 기존의 어려운 문제들—특히 3SUM과 집합 교차 열거—로의 감소를 통해 일부 쿼리(예: 순환 조인, 다중 관계 그룹화)가 효율적인 무관 알고리즘을 가질 가능성이 낮음을 보여준다.
• 특히 조인 비순환성과 조인 초그래프 구조를 포함한 이론적 데이터베이스 이론을 활용하여, 어떤 쿼리가 효율적인 무관 처리를 허용하는지 특성화한다.
• 제한된 메모리와 함께 신뢰할 수 있는 하드웨어 컴ponent를 사용하여 모델을 형식화하고, 데이터는 신뢰할 수 없는 스토리지에서 필요에 따라 이동되며, 모든 액세스 패턴이 데이터에 의존하지 않도록 보장한다.

실험 결과

연구 질문

• RQ1 암호화된 데이터베이스에서 악성 사용자가 실행 트레이스를 관찰하더라도 액세스 패턴의 泄露를 방지할 수 있는 안전한 쿼리 처리 모델을 설계할 수 있는가?
• RQ2 무관하게 처리 가능한 쿼리의 범위를 형식적으로 특성화할 수 있으며, 이는 알려진된 계산의 경직성과 어떻게 관련이 있는가?
• RQ3 등가 조인, 그룹화, 집계와 같은 일반적인 관계 연산에 대해 암호화된 데이터에서 효율적인 무관 알고리즘이 존재하는가?
• RQ4 일반적인 복잡도 가정 하에 일부 복잡한 쿼리—예를 들어 순환 조인 또는 다중 관계 그룹화—는 효율적인 무관 알고리즘을 가질 수 없는가를 증명할 수 있는가?
• RQ5 무관 쿼리 처리와 고전적 데이터베이스 이론 사이에 어떤 연결 고리가 존재하는가? 특히 조인 초그래프의 구조와 비순환성 맥락에서.

주요 결과

• 무관 쿼리 처리는 안전한 쿼리 처리와 형식적으로 동치이다: 쿼리가 안전하게 처리될 수 있음은 무관 알고리즘이 존재할 때에만 성립한다.
• 선택, 등가 조인, 그룹화, 집계를 포함한 광범위한 쿼리 유형에 대해 효율적인 무관 알고리즘을 제시하였으며, 실세계 워크로드에 실용적인 성능 범위를 확보하였다.
• 이 논문은 순환 조인 쿼리를 인스턴스 효율적인 시간 내에 무관하게 평가하는 것은 불가능하다고 증명하였다. 이는 3SUM-Cache(δ) 문제에 대해 비제곱 시간 알고리즘을 제공할 것이며, 이 문제는 일반적으로 어려운 것으로 여겨진다.
• 다중 관계 그룹화 쿼리에 대한 집합 교차 열거로의 감소를 통해, 이러한 쿼리에 대해 효율적인 무관 알고리즘이 존재할 경우 집합 교차 문제에 더 빠른 알고리즘이 존재하게 되며, 현재로서는 알려져 있지 않다.
• 연구는 무관 쿼리 처리와 데이터베이스 조인 이론 사이에 깊은 연결 고리를 드러내었으며, 특히 조인 비순환성과 초그래프 구조가 가능성을 결정짓는 데서 중요한 역할을 한다.
• 결과적으로 많은 표준 쿼리는 무관하게 안전하게 처리될 수 있지만, 복잡하거나 순환적인 쿼리는 본질적으로 효율적인 무관 처리를 저지르는 기본적인 계산의 경직성 때문에 저항할 수 있다.