[論文レビュー] Security in Distributed Storage Systems by Communicating a Logarithmic Number of Bits

Theodoros K. Dikaliotis, Alexandros G. Dimakis+1 more|arXiv (Cornell University)|May 4, 2010

Advanced Data Storage Technologies参考文献 13被引用数 8

ひとこと要約

本稿では、MDS符号化データ上で線形ハッシュを用いることで、通信効率が高く、軽量な敵対的エラー検出方式を提案する。各データ行を共有の擬似乱数ベクトルに射影することにより、エラー検出に必要な通信量を O(n(n−k) log M) ビットに削減する—ファイルサイズに対して対数的であり、失敗確率が 1/M より小さい範囲で最大 ⌊(n−k)/2⌋ 個のエラーを検出可能であり、エラー検出レートにおいて漸近的に容量に達する。

ABSTRACT

We investigate the problem of maintaining an encoded distributed storage system when some nodes contain adversarial errors. Using the error-correction capabilities that are built into the existing redundancy of the system, we propose a simple linear hashing scheme to detect errors in the storage nodes. Our main result is that for storing a data object of total size $\size$ using an $(n,k)$ MDS code over a finite field $\F_q$, up to $t_1=\lfloor(n-k)/2 floor$ errors can be detected, with probability of failure smaller than $1/ \size$, by communicating only $O(n(n-k)\log \size)$ bits to a trusted verifier. Our result constructs small projections of the data that preserve the errors with high probability and builds on a pseudorandom generator that fools linear functions. The transmission rate achieved by our scheme is asymptotically equal to the min-cut capacity between the source and any receiver.

研究の動機と目的

• MDS コードを用いた分散ストレージシステムにおける敵対的エラーのセキュリティ脅威に対処すること。
• 大規模システムにおけるエラー検出の通信コストを、検出信頼性を損なわずに低減すること。
• ストレージノードから得られる最小限の情報により、信頼できる検証者がデータ整合性を効率的に検証できること。
• エラー検出レートをシステムの最小カット容量に漸近的に等しくすること。

提案手法

• 各ストレージノードが、そのデータ行と共有の擬似乱数ベクトル r′ ∈ Fq^N 間の内積を計算する線形ハッシュ方式を用いる。
• O(log N) のシードサイズで生成される擬似乱数生成器を用いることで、共通乱数の要件を削減する。
• 各ノードは、信頼できる検証者に、行サイズの 1/N に相当するハッシュ値のみを送信する。
• ハッシュ射影の誤り訂正特性を活用する：エラーのないノード間で一貫したハッシュ値が得られ、不一致またはゼロのハッシュ値はエラーを示す。
• 有限体上での線形結合の ǫ-バイアス空間および一様分布の性質を用いて、失敗確率を分析する。
• ジョンソンの不等式およびバイアス解析を適用し、検出されないエラーの確率が 1/q 以下であることを示す。ここで q は 2(n−k)t1M として選択される。

実験結果

リサーチクエスチョン

• RQ1 MDS 符号化分散ストレージにおける敵対的エラーは、データサイズに対して部分線形の通信コストで検出可能か？
• RQ2 ノードあたり対数的ビット数のみを用いて、最大何個の敵対的エラーを検出可能か？
• RQ3 擬似乱数ハッシュは、共通乱数と通信量を最小限に抑えると同時に、エラー検出能力を維持できるか？
• RQ4 エラー検出レートは、システムの理論的最小カット容量にどれほど近づけるか？

主な発見

• 本方式は、通信量が O(n(n−k) log M) ビットに抑えられ、失敗確率が 1/M 未満である範囲で最大 t1 = ⌊(n−k)/2⌋ 個の敵対的エラーを検出可能である。
• 通信コストはファイルサイズ M に対して対数的であるため、大規模なデータオブジェクトに対してもスケーラブルである。
• 本方式の伝送レートは、ソースと受信者間の最小カット容量に漸近的に等しく、近似的に最適な効率を達成する。
• O(log N) のシードビットから生成される擬似乱数ベクトル r′ を用いることで、ノードあたりの共通乱数要件を O(log N) ビットに削減できる。
• 失敗確率は 2(n−k)t1 / q で抑えられ、q = 2(n−k)t1M と設定することで失敗確率が 1/M 未満になる。
• 線形射影による大幅な検証帯域幅の削減を実現しながらも、MDS コードのエラー検出能力を維持している。