[论文解读] On the Confidentiality of Information Dispersal Algorithms and Their Erasure Codes

Mingqiang Li|arXiv (Cornell University)|Jun 19, 2012

Cryptography and Data Security参考文献 10被引用 20

一句话总结

本文研究了信息分散算法（IDAs）及其底层纠错码的机密性，区分了弱机密性（从少于 m 个分片中可重构原始文件的部分内容）与强机密性（从少于 m 个分片中不泄露任何信息）。本文提出了一种基于 m-of-(m+n) 纠错码生成矩阵的改进形式的强机密性充分条件，证明了 Rabin 的 IDA 实现了强机密性，并从 Reed-Solomon 码构造了一种新的 IDA，其计算复杂度与 Rabin 原始方案相当或更低。

ABSTRACT

\emph{Information Dispersal Algorithms (IDAs)} have been widely applied to reliable and secure storage and transmission of data files in distributed systems. An IDA is a method that encodes a file $F$ of size $L=|F|$ into $n$ unrecognizable pieces $F_1$, $F_2$, ..., $F_n$, each of size $L/m$ ($m

研究动机与目标

• 系统分析信息分散算法（IDAs）在实际场景中的机密性特性。
• 定义并区分弱机密性（从少于 m 个分片中部分重构原始文件）与强机密性（从少于 m 个分片中不泄露任何信息）。
• 识别使用任意非系统化纠错码的 IDA 在何时无法提供强机密性。
• 建立实现 IDAs 强机密性的充分且可行的条件。
• 从 Reed-Solomon 码构造一种具有强机密性的新 IDA，证明其计算复杂度与 Rabin 的 IDA 相当或更低。

提出的方法

• 本文提出将 m-of-(m+n) 纠错码的生成矩阵进行变换，使其形式满足强机密性要求，通过验证变换后矩阵的所有 m×m 子矩阵均为非奇异矩阵。
• 定义新的生成矩阵 G_IDA = C⁻¹ × D，其中 C 为 m×m 可逆矩阵，D 为原始生成矩阵的子矩阵，确保生成的 IDA 满足强机密性条件。
• 该方法适用于任意 m-of-(m+n) 纠错码，包括 Reed-Solomon 码，通过选择合适参数避免出现奇异子矩阵。
• 通过证明：若变换后矩阵的任意 m 列构成的子矩阵均为非奇异，则 IDA 实现强机密性，从而验证了该构造的有效性。
• 该方法利用了柯西矩阵与范德蒙德矩阵的性质，特别是确保由此类矩阵导出的子矩阵在有限域上仍保持非奇异。
• 本文提供了一个具体构造：使用具有范德蒙德生成矩阵的 Reed-Solomon 码，证明所构造的 IDA 保持强机密性且计算高效。

实验结果

研究问题

• RQ1 使用非系统化纠错码的 IDA 在何种条件下无法提供强机密性？可能泄露何种部分信息？
• RQ2 纠错码生成矩阵需满足何种充分条件，才能确保从少于 m 个分片中无法重构原始文件的任何部分？
• RQ3 Rabin 的原始 IDA（基于柯西矩阵）是否实现了强机密性？原因是什么？
• RQ4 能否从任意 m-of-(m+n) 纠错码构造出具有强机密性的安全 IDA？若能，具体方法为何？
• RQ5 基于 Reed-Solomon 码构造的新 IDA 的计算复杂度与 Rabin 的 IDA 相比如何？

主要发现

• 使用任意非系统化纠错码的 IDA 可能仅实现弱机密性，攻击者可从少于 m 个分片中重构原始文件的部分内容。
• 本文建立了强机密性的充分条件：当子矩阵 C 的逆矩阵与生成矩阵中对应子矩阵 D 的乘积，使得变换后矩阵的所有 m×m 子矩阵均为非奇异时，即可实现强机密性。
• Rabin 的 IDA 基于柯西矩阵，满足强机密性条件，因此对少于 m 个分片的局部重构提供了完美保密。
• 可通过将 m-of-(m+n) 纠错码的生成矩阵通过 C⁻¹×D 方式变换，从任意此类纠错码构造出具有强机密性的新 IDA。
• 基于具有范德蒙德生成矩阵的 Reed-Solomon 码所构造的 IDA 实现了强机密性，且其计算复杂度与 Rabin 的 IDA 相当，甚至在某些情况下更低。
• 研究表明，并非所有纠错码（尤其是基于有限域上范德蒙德矩阵的纠错码）都必然保证强机密性，因为其子矩阵可能存在奇异情况，凸显了精心构造的必要性。