[論文レビュー] SAFE^d: Self-Attestation For Networks of Heterogeneous Embedded Devices

Alessandro Visintin, Flavio Toffalini+2 more|arXiv (Cornell University)|Sep 18, 2019

Advanced Malware Detection Techniques参考文献 44被引用数 6

ひとこと要約

SAFE^d は、安全な DHT オーバーレイを用いて整合性証明をデバイス間で分散することで、中央の検証者を必要としない、異種の IoT ネットワーク向けの分散型リモートアテステーション方式を提案する。障害や攻撃下でも 99.9% の証明回復を達成し、メモリおよび通信オーバーヘッドが対数的に増加する。これにより、リソース制限のある環境でも自己検証および自己修復が可能になる。

ABSTRACT

The Internet of Things (IoT) is an emerging paradigm that allows to set large networks of small and independent devices. To ensure their integrity, practitioners employ so-called Remote Attestation (RA) schemes. Classic RA schemes require a central and powerful entity, called Verifier, that has mainly two duties: (i) it manages the entire process of attestation, and (ii) it contains all the proofs for validating the devices' integrity. However, having a central Verifier makes the network dependent upon an external entity and introduces a single point of failure for security. In this work, we propose SAFE^d: the first RA schema that allows a pair of IoT devices to validate their integrity without relying on an external Verifier. Our approach overcomes previous limitations by spreading the proofs among multiple IoT devices and using novel cryptographic mechanisms to ensure secure communications. Moreover, the entire IoT network can collaboratively isolate tampered devices and recover missing proofs in case of anomalies. We evaluate our schema through an implementation for Raspberry Pi platform and a network simulation. The results show that SAFE^d can detect infected devices and recover up to 99.9% of proofs in case of faults or attacks. Moreover, we managed to protect up to 10K devices with a logarithmic overhead on the network and on the devices' memory.

研究の動機と目的

• 従来の IoT リモートアテステーションにおいて、中央の検証者に依存する単一障害点と信頼性の問題を解決すること。
• 外部の調整なしに、異種でリソース制限のある埋め込みデバイス間で整合性検証を可能にすること。
• デバイスの改ざん、ネットワーク障害、証明の紛失に対して、分散型証明格納および回復メカニズムにより耐性を確保すること。
• 制限されたデバイスと信頼実行環境と互換性のある、軽量でスケーラブルな暗号プリミティブの設計。
• Raspberry Pi 3 上での実装および大規模シミュレーションを通じた実現可能性と性能の実証。

提案手法

• DHT アーキテクチャ（特に Chord）を用いて、IoT デバイス間で証明格納を分散化することで、リモートアテステーションを分散化し、スケーラブルなデータ検索を実現する。
• 事前共有鍵が不要な、DHT に統合された Diffie-Hellman 基盤の新規鍵交換プロトコルを導入し、安全なピアツーピア通信を確立する。
• 証明を異なるデバイスに複数の独立したランダム化 DHT オーバーレイ（オーバーレイ）でレプリカ化することで、攻撃者が証明の位置を推測できないようにする。
• 信頼されたアンカー（例：ARM TrustZone）を用いて、重要なアテステーションアルゴリズムおよび暗号操作を安全に格納・実行する。
• 通信タイムアウトとノンスを用いた、ハートビートフリーの検出メカニズムを実装し、ネットワーク切断や物理的攻撃の兆候を検出する。
• 冗長なオーバーレイと後続リスト検証を活用して、デバイスが協働して欠落または破損した証明を検出し回復できる自己修復機能を実装する。

実験結果

リサーチクエスチョン

• RQ1 中央の強力な検証者に依存せずに、IoT ネットワークにおけるリモートアテステーションを安全に実行できるか？
• RQ2 異種でリソース制限のあるデバイス間で、整合性証明をどのように分散化し保護できるか？
• RQ3 分散型 IoT 環境において、デバイスの改ざん、ネットワーク障害、証明の紛失に対して、どのようなメカニズムが耐性を確保できるか？
• RQ4 最小限のオーバーヘッドで、動的で分散型の IoT ネットワークにおいて、どのように安全なピアツーピア通信を確立できるか？
• RQ5 攻撃やデバイス障害が発生した場合、どの程度の証明回復が達成可能か？

主な発見

• SAFE^d は、IoT ネットワークのリモートアテステーションにおける中央検証者の単一障害点を成功裏に排除した。
• 3つの DHT オーバーレイを使用するだけで、障害や攻撃発生時において、紛失または破損した証明を最大 99.9% 回復できる。
• メモリおよび通信オーバーヘッドはデバイス数に対して対数的に増加し、最大 10,000 台のデバイスを効率的にサポートする。
• Raspberry Pi 3 上での実装により、実世界の ARM TrustZone 対応ハードウェアでも実現可能であり、性能コストは管理可能である。
• 複数のランダム化 DHT オーバーレイの使用により、攻撃者が証明のすべてのコピーを特定または破損する難易度が著しく向上する。
• タイムアウトベースのメカニズムと後続リスト検証を活用することで、ネットワーク切断や潜在的な物理的攻撃を検出でき、耐性が強化される。