[논문 리뷰] Information-theoretically Secure Erasure Codes for Distributed Storage

Nihar B. Shah, K. V. Rashmi외 2명|arXiv (Cornell University)|2015. 08. 16.

Advanced Data Storage Technologies참고 문헌 68인용 수 4

한 줄 요약

이 논문은 분산 스토리지용 정보이론적 안전성 보장이 이루어지는 삭제 코드를 제안하며, 최적의 스토리지, 대역폭, 신뢰성을 확보하면서도 노드 복구 중 피사용자 도청자와 능동적 공격자에 모두 대비한다. 제안된 코드는 필요에 따라 비밀 유지 수준을 조절하며, 기본 하한선을 충족시켜 안전한 분산 스토리지 시스템의 용량을 확립한다.

ABSTRACT

Repair operations in distributed storage systems potentially expose the data to malicious acts of passive eavesdroppers or active adversaries, which can be detrimental to the security of the system. This paper presents erasure codes and repair algorithms that ensure security of the data in the presence of passive eavesdroppers and active adversaries, while maintaining high availability, reliability and efficiency in the system. Our codes are optimal in that they meet previously proposed lower bounds on the storage, network-bandwidth, and reliability requirements for a wide range of system parameters. Our results thus establish the capacity of such systems. Our codes for security from active adversaries provide an additional appealing feature of `on-demand security' where the desired level of security can be chosen separately for each instance of repair, and our algorithms remain optimal simultaneously for all possible levels. The paper also provides necessary and sufficient conditions governing the transformation of any (non-secure) code into one providing on-demand security.

연구 동기 및 목표

• 비활성적 도청자와 능동적 공격자에 대비하여 분산 스토리지 시스템에서 데이터 기밀성과 무결성을 유지하는 삭제 코드 및 복구 알고리즘을 설계한다.
• 계산 가정 없이 정보이론적 안전성을 확보하여, 무한한 계산 능력을 지닌 공격자에게도 안전함을 보장한다.
• 보안 제약 조건 하에서도 최적의 스토리지, 네트워크 대역폭, 신뢰성 성능을 유지한다.
• 각 복구 작업 별로 독립적으로 선택 가능한 필요에 따른 보안을 가능하게 하여 최적성에 영향을 주지 않는다.
• 비보안 코드를 필요에 따라 보안 기능을 갖춘 코드로 전환하는 데 필요한 필수 조건과 충분 조건을 규명한다.

제안 방법

• 논문은 대규모 복구 모델 기반으로 보안 삭제 코드를 구성하며, 대칭 행렬과 구조적 인코딩을 사용하여 데이터 복원 및 보안을 보장한다.
• 데이터는 대칭 행렬 $ S_1^* $ 및 $ S_2^* $ 에 인코딩되어, 복구 과정에서는 일부 노드에서 다운로드하고 복호화한다.
• 행렬 $ ilde{S}_1^* $, $ ilde{S}_2^* $, 및 $ ilde{E}_i^* $ 를 포함한 변환을 통해 기호를 순차적으로 복호화하면서 대칭성과 재dundancy를 유지한다.
• 도청자의 시각에서의 재현성을 활용: 도청자가 관찰하는 중복 기호의 수가 정확히 $ m(k + \nu - 2) $ 임을 보여주며, 이는 도청자가 메시지에 대한 정보를 확보하지 못함을 증명한다.
• 행렬의 대칭성과 구조적 선형 조합을 활용하여 도청자의 시각이 메시지에 독립적임을 증명한다. 이는 $ \ell $개의 노드와 $ m $개의 복구 다운로드에서 데이터에 접근하더라도 동일하게 성립한다.
• 시스템은 $ i $개의 0을 저장하는 노드를 포함하여 기존의 알려진 보안 코드 $ \mathcal{C}^{*'} $ 로 문제를 축소시키며, 원래 시스템에서도 도청자가 정보를 확보하지 못함을 증명한다.

실험 결과

연구 질문

• RQ1 노드 복구 중 비활성적 도청자에 대비하여 정보이론적 안전성을 확보하면서도 최적의 스토리지 및 대역폭 효율성을 유지할 수 있는 삭제 코드를 설계할 수 있는가?
• RQ2 시스템의 신뢰성이나 효율성을 희생시키지 않고 복구 중 능동적 공격자에 대비할 수 있는가?
• RQ3 각 복구 작업 별로 동적으로 보안 수준을 선택할 수 있는 필요에 따른 보안을 달성할 수 있는가? 성능 저하 없이?
• RQ4 비보안 코드를 필요에 따라 보안 기능을 갖춘 코드로 전환하는 데 필요한 필수 조건과 충분 조건은 무엇인가?
• RQ5 이러한 제약 조건 하에서 안전한 분산 스토리지 시스템의 기본 한계(용량)는 무엇인가?

주요 결과

• 제안된 코드는 도청자의 시각에 정확히 $ m(k + \ell - 2) $개의 중복 기호가 포함되어 있음을 보장함으로써, 메시지에 대한 정보 유출이 없음을 입증함으로써 정보이론적 안전성을 확보한다.
• 코드는 스토리지, 대역폭, 신뢰성 면에서 최적성을 확보하며, 다양한 시스템 파rameter에 대해 이전에 확립된 하한선을 충족한다.
• 시스템은 필요에 따른 보안을 지원한다: 각 복구 작업 별로 독립적으로 비밀 유지 수준을 선택할 수 있으며, 모든 수준에서 최적성 유지가 가능하다.
• 비보안 코드에서 필요에 따른 보안 기능을 갖춘 코드로 전환하는 과정은 대칭성과 구조적 행렬 설계를 포함한 필수 조건과 충분 조건로 특징지어진다.
• 증명은 도청자가 $ \ell $개의 노드와 $ m $개의 복구 다운로드에서 데이터에 접근하더라도 메시지에 대한 정보가 노출되지 않음을 입증한다.
• 프레임워크는 0을 저장하는 노드를 포함하여 일반화되며, 기존의 알려진 보안 코드 모델로 축소 가능하여 원래 시스템의 보안성을 입증한다.