[論文レビュー] Collision and Preimage Resistance of the Centera Content Address

Robert Primmer, Carl D’Halluin|arXiv (Cornell University)|Jun 25, 2013

Cryptographic Implementations and Security参考文献 21被引用数 11

ひとこと要約

この論文は、コンテンツアドレスドストレージ（CAS）における一意なデータ同定にMD5およびSHA-256ハッシュ関数を用いるCenteraコンテンツアドレス（CA）の衝突耐性および偽造耐性特性を分析している。標準仮定の下で、CA方式が強力な暗号的セキュリティ保証を達成していることを形式的に証明しており、現在の技術では衝突や偽造の生成が計算的に不可能であることを示している。

ABSTRACT

Centera uses cryptographic hash functions as a means of addressing stored objects, thus creating a new class of data storage referred to as CAS (content addressed storage). Such hashing serves the useful function of providing a means of uniquely identifying data and providing a global handle to that data, referred to as the Content Address or CA. However, such a model begs the question: how certain can one be that a given CA is indeed unique? In this paper we describe fundamental concepts of cryptographic hash functions, such as collision resistance, pre-image resistance, and second-preimage resistance. We then map these properties to the MD5 and SHA-256 hash algorithms, which are used to generate the Centera content address. Finally, we present a proof of the collision resistance of the Centera Content Address.

研究の動機と目的

• コンテンツアドレスドストレージ（CAS）で使用されるCenteraコンテンツアドレス（CA）メカニズムの暗号的セキュリティを評価すること。
• CA方式がデータの整合性および一意性に不可欠な強力な衝突耐性および偽造耐性を提供しているかどうかを検討すること。
• MD5およびSHA-256のセキュリティ特性を、CenteraにおけるCA生成プロセスに形式的にマッピングすること。
• 標準暗号的仮定の下で、Centera CAの衝突耐性に対する形式的証明を提供すること。

提案手法

• 著者は、核心的な暗号的特性である衝突耐性、偽造耐性、第二偽造耐性を定義し、分析している。
• これらの特性をCenteraのCA生成に使用されるMD5およびSHA-256ハッシュ関数にマッピングしている。
• 論文は、CA方式における衝突耐性の破壊が、下位のハッシュ関数の破壊を意味することを示す形式的証明を構築している。
• 標準仮定の下で、CAに対して有効な攻撃が存在しないことを示すために、確立された暗号的原則および還元手法に依存している。
• ハッシュ関数がランダムオракルとして動作すると仮定しており、これは暗号的証明における標準的なモデルである。
• 証明構造は、暗号学文献で一般的な還元主義的手法に従っている。

実験結果

リサーチクエスチョン

• RQ1 標準暗号的仮定の下で、Centeraコンテンツアドレスが衝突耐性を示せるか。
• RQ2 MD5およびSHA-256を用いて生成されたCAの偽造耐性はいかほどか。
• RQ3 MD5およびSHA-256のセキュリティ特性は、CenteraにおけるCA生成プロセスにどのように反映されるか。
• RQ4 CAの衝突耐性を破る攻撃が、下位のハッシュ関数の破壊を意味することを形式的に証明できるか。
• RQ5 MD5に既知の弱みが存在するにもかかわらず、CA方式におけるMD5の使用が、全体のセキュリティを損なうか。

主な発見

• 下位のハッシュ関数（MD5およびSHA-256）が安全であるという仮定の下で、Centeraコンテンツアドレスは強力な衝突耐性を達成している。
• ハッシュ関数が偽造耐性を有する限り、CAの偽造耐性は保持される。実際の運用では、MD5およびSHA-256の両方ともその性質を満たしている。
• 論文は、CAにおける衝突攻撃が成功すれば、下位のハッシュ関数の衝突攻撃が可能であることを証明しており、還元主義的セキュリティ保証を確立している。
• MD5は衝突耐性の観点から暗号的に破られているが、論文は、特定の構成および使用モデルのおかげで、CA方式におけるMD5の使用が全体のセキュリティを損なわないことを示している。
• 分析により、SHA-256がCAに対して強力なセキュリティ保証を提供しており、長期的なデータ整合性用途に適していることが確認された。
• 研究は、Centera CAモデルが暗号的に妥当であり、安全なコンテンツアドレスドストレージシステムへの適用に適していると結論づけている。