[論文レビュー] 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対-(m+n)エラー訂正符号から導出される変更された生成行列を用いた強い機密性の十分条件を提案し、RabinのIDAが強い機密性を達成することを証明し、Rabinのオリジナル方式と同等または低い計算複雑性を持つリード・ソロモン符号に基づく新しいIDAを構築する。

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が、強い機密性を提供しない場合の条件を特定すること。
• IDAにおける強い機密性を達成するための十分かつ実用的な条件を確立すること。
• リード・ソロモン符号から、強い機密性を有する新しいIDAを構築し、RabinのIDAと同等または低い計算複雑性を実現すること。

提案手法

• 論文は、m対-(m+n)エラー訂正符号の生成行列を変換し、変換後の行列のすべてのm×m部分行列が非特異であることを確認することで、強い機密性を保証する方法を提示する。
• 新しい生成行列 G_IDA = C⁻¹ × D を定義する。ここで C はm×mの逆行列をもつ行列、D は元の生成行列の部分行列であり、これにより得られるIDAが強い機密性条件を満たすことを保証する。
• Cauchy行列やVandermonde行列の性質を活用し、有限体上での部分行列が非特異のまま保たれることを保証することで、任意のm対-(m+n)エラー訂正符号（リード・ソロモン符号を含む）に適用可能である。
• 変換後の行列の任意のm列が非特異な部分行列を形成する場合、IDAが強い機密性を達成することを証明することで、構成法を検証する。
• 特に、Cauchy行列とVandermonde行列の性質を活用し、有限体上での部分行列が非特異のまま保たれることを保証する。
• 具体的な構成例として、Vandermonde生成行列をもつリード・ソロモン符号を用い、得られるIDAが強い機密性を維持するとともに、計算が効率的であることを示す。

実験結果

リサーチクエスチョン

• RQ1 非システム的エラー訂正符号を用いたIDAが、強い機密性を提供しない条件は何か？また、どのような部分情報漏洩れが生じるか？
• RQ2 エラー訂正符号の生成行列にどのような十分条件を満たせば、m個未満の部分から元のファイルのいかなる部分も再構成できないか？
• RQ3 RabinのオリジナルIDA（Cauchy行列に基づく）は、強い機密性を達成するか？その理由は何か？
• RQ4 任意のm対-(m+n)エラー訂正符号から、安全で強い機密性を有するIDAを構築できるか？もしそうなら、その方法は何か？
• RQ5 リード・ソロモン符号から構築した新しいIDAの計算複雑性は、RabinのIDAと比べてどの程度か？

主な発見

• 任意の非システム的エラー訂正符号を用いたIDAは、弱い機密性にとどどまり、攻撃者がm個未満の部分から元のファイルの一部を再構成できる可能性がある。
• 強い機密性の十分条件を確立した：部分行列Cの逆行列C⁻¹と元の生成行列の対応する部分行列Dの積により得られる変換行列において、すべてのm×m部分行列が非特異である場合に強い機密性が達成される。
• RabinのIDAはCauchy行列を用いて構築されており、強い機密性条件を満たしており、m個未満の部分から部分再構成に対する完全な機密性（perfect secrecy）を提供する。
• 任意のm対-(m+n)エラー訂正符号から、生成行列をC⁻¹×Dの形に変換することで、強い機密性を有する新しいIDAを構築可能である。
• Vandermonde生成行列をもつリード・ソロモン符号から構築したIDAは強い機密性を維持しており、計算複雑性はRabinのIDAと同等または低い。
• 本研究は、有限体上でのVandermonde行列に基づくエラー訂正符号が、潜在的な特異部分行列の存在により、必ずしも強い機密性を保証しないこと（例：Vandermonde行列を用いた符号）を示し、注意深い構築の必要性を強調している。