[논문 리뷰] Dynamic proofs of retrievability with low server storage

Gaspard Anthoine, Jean‐Guillaume Dumas외 5명|arXiv (Cornell University)|2020. 07. 24.

Cloud Data Security Solutions참고 문헌 33인용 수 11

한 줄 요약

이 논문은 유한체 위에서의 랜덤화 선형 대수를 사용하여 서버 스토리지 오버헤드를 최소화하는 새로운 동적 검색가능성 증명(PoR) 기반 기법을 제안한다. 이 기법은 데이터 인코딩이 필요 없이 효율적인 감사, 업데이트 및 복구를 가능하게 하며, 서버 스토리지 오버헤드를 부분선형(o(N)) 수준으로 낮춘다. 이 기법은 실용적인 성능을 달성하여 Google 클라우드에서 1TB 파일을 5분 이내로 감사하고, 비용은 0.08달러 이하로 유지한다. 또한 암호학적 개선을 통해 클라이언트 측 효율성과 공개 검증 가능성을 확보한다.

ABSTRACT

Proofs of Retrievability (PoRs) are protocols which allow a client to store data remotely and to efficiently ensure, via audits, that the entirety of that data is still intact. A dynamic PoR system also supports efficient retrieval and update of any small portion of the data. We propose new, simple protocols for dynamic PoR that are designed for practical efficiency, trading decreased persistent storage for increased server computation, and show in fact that this tradeoff is inherent via a lower bound proof of time-space for any PoR scheme. Notably, ours is the first dynamic PoR which does not require any special encoding of the data stored on the server, meaning it can be trivially composed with any database service or with existing techniques for encryption or redundancy. Our implementation and deployment on Google Cloud Platform demonstrates our solution is scalable: for example, auditing a 1TB file takes just less than 5 minutes and costs less than $0.08 USD. We also present several further enhancements, reducing the amount of client storage, or the communication bandwidth, or allowing public verifiability, wherein any untrusted third party may conduct an audit.

연구 동기 및 목표

• 기존 동적 PoR 기법에서 높은 지속적 스토리지 오버헤드 문제를 해결하기 위해, 이는 종종 원본 데이터 크기의 1.5배에서 10배에 이르는 경우가 있음.
• 데이터 인코딩 없이도 동적 업데이트와 부분 복구를 지원하는 실용적이고 효율적이며 확장 가능한 PoR 프로토콜 설계.
• 악성 서버에 대한 강력한 보안 보장을 유지하면서도 클라이언트의 스토리지 및 통신 비용을 최소화.
• 공개 검증 가능성을 확보하여, 제3자가 클라이언트의 참여 없이도 데이터 무결성을 검증할 수 있도록 함.
• 실세계 환경에서 클라우드 인프라에 구현 가능한 기법의 실현 가능성과 효율성 입증.

제안 방법

• 클라이언트는 유한체 위에서 랜덤 행렬 V를 생성하고, 이를 기반으로 데이터 블록에 따라 감사 도전 과제를 계산하는 랜덤화 선형 대수 검증 기반 기법을 사용.
• 서버 스토리지 오버헤드를 최소화하기 위해 원본 데이터와 작은 크기의 행렬 V(또는 외부화된 형태)만 저장하며, 인코딩이나 중복 증가를 방지.
• 감사는 클라이언트의 도전 벡터와 서버의 응답 간의 내적 곱을 검증하여 정확성을 고확률로 보장.
• 동적 업데이트는 영향을 받는 부분의 검증 행렬만 재계산함으로써 효율적인 블록 단위 수정을 가능하게 함.
• 공개 검증은 검증 행렬 V에 대한 기여도를 게시하고, 이산 로그 문제가 어려운 군을 사용하여 제로지식 스타일의 감사 검증을 실현.
• 기존 데이터베이스나 클라우드 서비스에 수정 없이도 표준 암호화(예: IND-CPA 대칭 암호)와 호환 가능하며, 즉시 배포 가능.

실험 결과

연구 질문

• RQ1 강력한 보안과 효율성을 유지하면서도 서버 스토리지 오버헤드를 부분선형(o(N)) 수준으로 낮출 수 있는 동적 PoR 기법을 설계할 수 있는가?
• RQ2 데이터 인코딩이나 중복 증가 없이도 감사 효율성과 보안을 훼손하지 않고 PoR 시스템에서 이를 제거할 수 있는가?
• RQ3 서버 계산 비용을 증가시키지 않고도 동적 PoR 프로토콜에서 클라이언트의 스토리지 및 통신 비용을 최소화할 수 있는가?
• RQ4 복잡한 암호 도구에 의존하지 않고도 동적 PoR 환경에서 공개 검증을 효율적으로 달성할 수 있는가?
• RQ5 PoR 기법에서의 본질적 시간-공간 트레이드오프는 무엇이며, 이를 형식적으로 경계할 수 있는가?

주요 결과

• 제안된 기법은 o(N) 수준의 서버 스토리지 오버헤드를 달성하여, 이전 기법들이 O(N) 이상을 요구하는 것에 비해 지속적 스토리지 비용을 크게 감소시킴.
• Google 클라우드에서 1TB 파일 감사에 5분 이내, 비용은 0.08달러 이하로 소요되어 실용적 확장성을 입증.
• 제약 조건이 있는 장치에서도 클라이언트 측 감사 비용이 1초 이내로 유지되어 개인 증명의 높은 효율성 입증.
• 무제한의 부분 복구 및 업데이트가 최소한의 오버헤드로 가능하여 동적 워크로드에 적합함.
• 외부화된 감사 행렬 스토리지 버전은 클라이언트 스토리지 비용을 O(1)로 줄이고 통신 비용을 O(√N)로 낮추며, 매개변수 α를 통해 성능 트레이드오프를 균형 있게 조정.
• 저자들은 PoR 기법에서 시간-공간 트레이드오프에 하한을 증명하여, 서버 스토리지가 감소할수록 계산 비용이 자연스럽게 증가함을 보임.