[论文解读] On Secrecy Capacity of Minimum Storage Regenerating Codes

Kun Huang, Udaya Parampalli+1 more|arXiv (Cornell University)|May 8, 2015

Advanced Data Storage Technologies被引用 4

一句话总结

本文在被动$(l_1,l_2)$-窃听者模型下，对线性最小存储再生（MSR）码的保密容量建立了全面且明确的表征，其中窃听者可观察到$l_1$个节点的数据以及另外$l_2$个节点的修复数据。通过引入稳定MSR码的概念，并利用有限域上的置换多项式与正交系统，作者推导出保密容量的紧致上界，该上界推广了先前结果，并可预测未探索的线性MSR码在$1 < \beta < d-k+1$时的性能。关键成果是给出了一个显式表达式，其保密容量严格依赖于$\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场景下保密容量的全面且显式表达式，推广并扩展先前结果。
• 预测未探索的线性MSR码在$1 < \beta < d-k+1$时的保密容量，这些码并非通过标量码的级联构造而成。

提出的方法

• 引入稳定MSR码的概念，其修复数据结构可确保在窃听情形下熵行为的一致性。
• 基于熵和信息流约束，推导MSR码保密容量的一般上界。
• 利用有限域上的置换多项式与正交系统，证明多个修复数据集的联合熵为整数，从而实现精确的容量计算。
• 分析$n = d+1$时线性MSR码的保密容量，推导出依赖于$\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 是否存在$1 < \beta < d-k+1$的线性MSR码，其并非通过标量MSR码的级联构造而成？
• RQ2 对于此类未探索的线性MSR码，本文推导出的保密容量上界是否可达？
• RQ3 MSR码的稳定性如何影响其在$(l_1,l_2)$-窃听者模型下的保密容量？
• RQ4 能否以$\beta$、$l_1$、$l_2$和$d-k+1$为参数，显式表征线性MSR码的保密容量？
• RQ5 现有关于标量与向量MSR码保密容量的结果，在多大程度上可推广至中间$\beta$值？

主要发现

• 对于$n = d+1$的线性MSR码，保密容量为$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$区域的上界被证明可能可达，但该问题仍为未来工作的开放课题。