[論文レビュー] Remote Attestation: A Literature Review

Alexander Sprogø Banks, Marek Kisiel+1 more|arXiv (Cornell University)|May 6, 2021

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

ひとこと要約

本レビューでは、IoTシステムにおけるリモートアテステーション（RA）について包括的な分析を提供し、ソフトウェアベース、ハードウェアベース、ハイブリッドなパラダイムを評価しており、セキュリティ保証、敵対的モデル、およびスワームアテステーションやコントロールフロー監視といった新たな拡張を焦点としている。形式的検証と動的スワームトポロジーが主な進展とされる一方で、故障検出とプロトコルの証明可能性に関する未解決の課題が浮き彫りになっている。

ABSTRACT

With the rising number of IoT devices, the security of such devices becomes increasingly important. Remote attestation (RA) is a distinct security service that allows a remote verifer to reason about the state of an untrusted remote prover (device). Paradigms of remote attestation span from exclusively software, in software-based attestation, to exclusively hardware-based. In between the extremes are hybrid attestation that utilize the enhanced security of secure hardware components in combination with the lower cost of purely software-based implementations. Traditional remote attestation protocols are concerned with reasoning about the state of a prover. However, extensions to remote attestation also exist, such as code updates, device resets, erasure and attestation of the device's run-time state. Furthermore, as interconnected IoT devices are becoming increasingly more popular, so is the need for attestation of device swarms. We will describe and evaluate the state-of-the-art for remote attestation, which covers singular attestation of devices as well as newer research in the area of formally verified RA protocols, swarm attestation and control-flow attestation.

研究の動機と目的

• IoTデバイスにおけるリモートアテステーション分野の最新状況を包括的に概説すること。
• ソフトウェアベース、ハードウェアベース、ハイブリッドなリモートアテステーションパラダイムの長所と短所を評価すること。
• スワームアテステーション、コントロールフロー・アテステーション、リモートコード・アップデートといった新たな拡張を調査すること。
• 故障検出におけるスワーム内の障害デバイスの特定やプロトコルの形式的検証といった、未解決の研究課題を特定すること。
• 現在のRAプロトコルの背後にあるセキュリティ特性と敵対的仮定を評価すること。

提案手法

• 実装方法と信頼仮定に基づき、リモートアテステーションをソフトウェアベース、ハードウェアベース、ハイブリッドの3つのパラダイムに分類する。
• 低エンドデバイスにおける信頼実行と鍵保護を可能にする基盤となるセキュリティアーキテクチャを分析する。
• 暗号的プリミティブと信頼モデルを用いて、SeED や PASTA といった単一リモートアテステーションプロトコルを評価する。
• Seda、DIAT、SARA、PASTA、PADS といったスワームアテステーションプロトコルを検討し、デバイス集団の集団的検証を可能にする。
• 動的ネットワークにおけるスケーラブルかつ分散型のアテステーションを実現するため、コンセンサスベースおよびマルチシグネチャ集約技術を導入する。
• 制御フロー・アテステーションやリモートコード・アップデートといった拡張をレビューし、静的状態チェックを超えたランタイム整合性検証を強化する。

実験結果

リサーチクエスチョン

• RQ1 ソフトウェアベース、ハードウェアベース、ハイブリッドなリモートアテステーションの主な違いとトレードオフは何か？
• RQ2 現代のスワームアテステーションプロトコルは、効率的かつスケーラブルにデバイス集団を検証しながらも、セキュリティ保証をどのように維持しているか？
• RQ3 動的スワームネットワーク内での故障または改ざんされたデバイスを検出する現状の制限は何か？
• RQ4 形式的検証技術は、リモートアテステーションプロトコルの正しさとセキュリティをどの程度保証できるか？
• RQ5 制御フロー・アテステーションやリモートコード・アップデートといった拡張は、従来の状態アテステーションを超えて、セキュリティモデルをどのように強化するか？

主な発見

• ハイブリッドリモートアテステーションは、ソフトウェアベースのフレームワーク内にセキュアなハードウェアコンponentsを活用することで、セキュリティとコストの実用的バランスを実現する。
• PASTA や PADS といったスワームアテステーションプロトコルは、デバイス集団の効率的で集団的な検証を可能にし、個々のアテステーションのオーバーヘッドを低減する。
• PASTA は動的ネットワークにおけるフォールトトレランスをサポートするが、アテステーション間隔を超えてオフラインとなったデバイスは信頼できないとみなされる可能性がある。
• PADS は同期化されたリアルタイム時計と最小限のコンセンサスを用いて、非インタラクティブでコンセンサスベースのアテステーションを、非構造的ネットワークでも実現可能にする。
• SARA は非同期的で、発行・購読モデルを採用したアテステーション集約を提供し、分散型スワーム環境における柔軟性を実現する。
• VRASED は、現時点で知られている唯一の形式的に検証されたリモートアテステーションプロトコルであり、証明可能に安全なプロトコル開発における深刻なギャップを示している。