[논문 리뷰] On Secrecy Capacity of Minimum Storage Regenerating Codes

Kun Huang, Udaya Parampalli외 1명|arXiv (Cornell University)|2015. 05. 08.

Advanced Data Storage Technologies인용 수 4

한 줄 요약

이 논문은 수동적 $(l_1,l_2)$-해도적 모델 하에서 선형 최소 저장 재생(MSR) 코드의 비밀성 용량을 체계적이고 명시적으로 규명한다. 여기서 해도적 공격자는 $l_1$개의 노드와 추가로 $l_2$개의 노드 복구 데이터를 관찰한다. 안정적 MSR 코드 개념을 도입하고 유한체 순열 다항식 및 직교 체계를 활용하여, 이전 결과를 일반화하고 $1 < \beta < d-k+1$인 탐색되지 않은 선형 MSR 코드의 성능을 예측하는 엄밀한 상한을 도출한다. 핵심 결과는 $\beta$와 해도적 공격자의 액세스 수준에 따라 결정되는 비밀성 용량에 대한 닫힌 형태의 표현식이다.

ABSTRACT

In this paper, we revisit the problem of characterizing the secrecy capacity of minimum storage regenerating (MSR) codes under the passive $(l_1,l_2)$-eavesdropper model, where the eavesdropper has access to data stored on $l_1$ nodes and the repair data for an additional $l_2$ nodes. We study it from the information-theoretic perspective. First, some general properties of MSR codes as well as a simple and generally applicable upper bound on secrecy capacity are given. Second, a new concept of \emph{stable} MSR codes is introduced, where the stable property is shown to be closely linked with secrecy capacity. Finally, a comprehensive and explicit result on secrecy capacity in the linear MSR scenario is present, which generalizes all related works in the literature and also predicts certain results for some unexplored linear MSR codes.

연구 동기 및 목표

• 수동적 $(l_1,l_2)$-해도적 모델 하에서 최소 저장 재생(MSR) 코드의 비밀성 용량을 특성화하는 것. 여기서 공격자는 $l_1$개의 노드 데이터와 $l_2$개의 다른 노드 복구 데이터를 관찰한다.
• 특정 구현에 의존하지 않는 MSR 코드에 대한 일반적인 정보이론적 상한을 도출하는 것.
• 안정적 MSR 코드 개념을 도입하고, 그 비밀성 용량과의 핵심적 연관성을 분석하는 것.
• 선형 MSR 시나리오에서 비밀성 용량에 대한 체계적이고 명시적인 표현식을 유도하고, 이전 결과를 일반화 및 확장하는 것.
• 연결된 스칼라 코드로 구성되지 않은 $1 < \beta < d-k+1$인 탐색되지 않은 선형 MSR 코드에 대한 비밀성 용량을 예측하는 것.

제안 방법

• 복구 데이터 구조가 해도적 공격 하에서도 일관된 엔트로피 행동을 보장하는 안정적 MSR 코드 개념을 도입한다.
• 엔트로피 및 정보 흐름 제약 조건을 기반으로 MSR 코드에 대한 일반적인 비밀성 용량 상한을 유도한다.
• 유한체 상의 순열 다항식과 직교 체계를 사용하여, 다수의 복구 데이터 세트의 공동 엔트로피가 정수임을 증명함으로써 정밀한 용량 계산을 가능하게 한다.
• 선형 MSR 코드에 대해 $n = d+1$인 경우의 비밀성 용량을 분석하여, $\beta$, $l_1$, $l_2$, $d-k+1$에 의존하는 닫힌 형태의 표현식을 도출한다.
• 용량 표현식에서 두 경우를 구분한다: $l_2 \leq t$ 인 경우와 $l_2 = t+e$ 인 경우로, $t$는 $\beta$와 $d-k+1$로부터 유도되며, $1 - \left(\frac{d-k}{d-k+1}\right)^e$를 포함하는 상한을 사용한다.
• 유도된 결과가 패리티 노드 복구뿐만 아니라 MSR 코드의 시스템성 노드 복구에도 적용됨을 보여준다.

실험 결과

연구 질문

• RQ1 연결된 스칼라 MSR 코드로 구성되지 않은 $1 < \beta < d-k+1$인 선형 MSR 코드가 존재하는가?
• RQ2 이러한 탐색되지 않은 선형 MSR 코드에 대해, 이 논문에서 유도된 비밀성 용량 상한이 달성 가능한가?
• RQ3 MSR 코드의 안정성이 $(l_1,l_2)$-해도적 모델 하에서 비밀성 용량에 어떤 영향을 미치는가?
• RQ4 선형 MSR 코드의 비밀성 용량은 $\beta$, $l_1$, $l_2$, $d-k+1$에 대해 명시적으로 특성화될 수 있는가?
• RQ5 스칼라 및 벡터 MSR 코드에 대한 기존의 비밀성 용량 결과가 중간 값인 $\beta$에 대해 얼마나 일반화되는가?

주요 결과

• 선형 MSR 코드에 대해 $n = d+1$일 경우 비밀성 용량은 $B^{(s)} = (k - l_1 - l_2)(\alpha - \pi(\beta, l_2))$로 주어지며, 여기서 $\pi(\beta, l_2)$는 $\beta$와 $l_2$에 의존한다.
• $l_2 \leq t$ 이고 $\beta < \frac{d-k+1}{t-1}$일 경우 비밀성 용량은 $B^{(s)} = (k - l_1 - l_2)(\alpha - l_2\beta)$이다.
• $l_2 = t + e$ 이고 $\frac{d-k+1}{t} \leq \beta < \frac{d-k+1}{t-1}$일 경우 비밀성 용량은 $B^{(s)} \leq (k - l_1 - l_2)\left(\alpha - t\beta - \beta(d-k-t+1)\left[1 - \left(\frac{d-k}{d-k+1}\right)^e\right]\right)$로 상한이 제시된다.
• 유도된 상한은 이전의 스칼라 MSR 코드($\beta=1$) 및 벡터 MSR 코드($\beta = (d-k+1)^x$)에 대한 비밀성 용량 결과를 일반화하고 통합한다.
• 탐색되지 않은 선형 MSR 코드에 대해 $1 < \beta < d-k+1$일 경우, $l_2 < 1 + \frac{d-k+1}{\beta}$이면 비밀성 용량이 정확히 $B^{(s)} = (k - l_1 - l_2)(\alpha - l_2\beta)$임을 예측한다.
• 고 $l_2$ 영역에서의 상한이 잠재적으로 달성 가능함을 보였지만, 이는 향후 연구의 열린 문제로 남아 있다.