[論文レビュー] Understanding Rowhammer Attacks through the Lens of a Unified Reference Framework

Xiaoxuan Lou, Fan Zhang+4 more|arXiv (Cornell University)|Jan 11, 2019

Security and Verification in Computing参考文献 49被引用数 6

ひとこと要約

本論文は、攻撃の出所、意図される影響、手法の3つの要因を特定することで、一貫した枠組みを提案し、それらの各要因を再利用可能なプリミティブで構成する。この枠組みにより、既存の攻撃の分類が可能となり、ディスクキャッシュを介した表現的Rowhammer攻撃といった新たな攻撃ベクトルが明らかになり、予防的防御の開発を支援する。

ABSTRACT

Rowhammer is a hardware-based bug that allows the attacker to modify the data in the memory without accessing it, just repeatedly and frequently accessing (or hammering) physically adjacent memory rows. So that it can break the memory isolation between processes, which is seen as the cornerstone of modern system security, exposing the sensitive data to unauthorized and imperceptible corruption. A number of previous works have leveraged the rowhammer bug to achieve various critical attacks. In this work, we propose a unified reference framework for analyzing the rowhammer attacks, indicating three necessary factors in a practical rowhammer attack: the attack origin, the intended implication and the methodology. Each factor includes multiple primitives, the attacker can select primitives from three factors to constitute an effective attack. In particular, the methodology further summarizes all existing attack techniques, that are used to achieve its three primitives: Location Preparation (LP), Rapid Hammering (RH), and Exploit Verification (EV). Based on the reference framework, we analyze all previous rowhammer attacks and corresponding countermeasures. Our analysis shows that how primitives in different factors are combined and used in previous attacks, and thus points out new possibility of rowhammer attacks, enabling proactive prevention before it causes harm. Under the framework, we propose a novel expressive rowhammer attack that is capable of accumulating injected memory changes and achieving rich attack semantics. We conclude by outlining future research directions.

研究の動機と目的

• 攻撃の複雑さと多様性が増す中で、体系的な分析フレームワークを提供すること。
• すべてのRowhammer攻撃に共通する基本的構成要素—攻撃の出所、意図される影響、手法—を特定・分類すること。
• 未使用または未探索のプリミティブの組み合わせを分析することで、研究者が新たな攻撃の組み合わせを発見できるようにすること。
• より豊かな攻撃の意味論を可能にする、新しい表現的Rowhammer攻撃を提案すること。
• 体系的な分析的視点を通じて、今後の攻撃的技術と防御的対策の両方の研究を支援すること。

提案手法

• 攻撃の出所（ハンマー攻撃の源）、意図される影響（攻撃の目的）、手法（実行戦略）の3要因からなるフレームワークを提案する。
• 手法を3つのコアプリミティブに分解する：位置準備（LP）、高速ハンマー攻撃（RH）、攻撃検証（EV）。
• 複数のメモリ領域にわたりビットフラップを蓄積可能にするために、新しいプリミティブ「ストアエラー（SE）」を導入する。
• このフレームワークを用いて20件以上の既存のRowhammer攻撃とその対策を分析・分類する。
• ディスクキャッシュを永続化メカニズムとして用い、複数回のビットフラップにわたる状態を維持できる表現的攻撃を実現する。
• フレームワークを用いて現在の防御のギャップを特定し、確率的リフレッシュやガードロウを用いたメモリ隔離といった改善策を提案する。

実験結果

リサーチクエスチョン

• RQ1 すべてのRowhammer攻撃に共通する構造的構成要素は何か？
• RQ2 一貫したフレームワークを用いることで、既存のRowhammer攻撃技術はどのように体系的に分類・理解できるか？
• RQ3 以前に使われなかったプリミティブの組み合わせを検討した際に、どのような新たな攻撃ベクトルが生じるか？
• RQ4 ビットフラップの変更を蓄積することで、単一ビットの破損を超えたより表現的で強力な攻撃を可能にすることができるか？
• RQ5 このフレームワークは、より効果的で予防的な対策の開発をどのように支援できるか？

主な発見

• 一貫したフレームワークは、攻撃の出所、意図される影響、手法に分解することで、すべての主要なRowhammer攻撃を成功裏に分類した。
• フレームワークは、既存の攻撃が主に単一ビットフラップに依存していること、その結果、表現力と持続性に制限があることを明らかにした。
• ストアエラー（SE）プリミティブの導入により、ディスクキャッシュを永続化層として用いることで、ビットフラップを蓄積可能な新しい表現的Rowhammer攻撃が実現された。
• フレームワークは、ガードロウや確率的リフレッシュといった現在の対策が有効であるが、洗練された攻撃やネットワークベースの攻撃に対しては不完全であることを特定した。
• ネットワークベースの出所と表現的意味論の組み合わせといった、以前に使われなかったプリミティブの組み合わせが、新たな攻撃表面を開くことが明らかになった。
• フレームワークは、研究者が未探索の攻撃の組み合わせを事前に特定し、攻撃が出現する前に標的防御を設計できるように支援した。