[論文レビュー] 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$ 個の追加ノードの修復データを観測する受動的 $(l_1,l_2)$-盗聴者モデル下での線形最小ストレージレジレーティング（MSR）コードの秘匿容量について、包括的かつ明示的な特徴付けを確立する。安定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$ に依存する閉形式の式を導出する。
• 容量式の2つのケースを区別する：$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$ レジームにおける上界が実現可能である可能性が示されたが、これは今後の研究における未解決の問題のままである。