[論文レビュー] Assuring Automotive Data and Software Integrity Employing Distributed Hash Tables and Blockchain

Gregory Falco, Joshua Siegel|arXiv (Cornell University)|Feb 7, 2020

Advanced Malware Detection Techniques参考文献 21被引用数 5

ひとこと要約

この論文では、ブロックチェーンおよび分散ハッシュテーブル（DHT）を活用したシステムを提案し、検証可能でスケーラブルかつ改ざん不能なプロヴァンス追跡を可能にすることで、自動車のソフトウェアおよびデータの完全性を保証する。このアプローチにより、分散ストレージとパブリックレジャーによる検証を通じて、悪意ある更新やバージョンの非互換性に対する高い信頼性が得られる。

ABSTRACT

Automotive software is increasingly complex and critical to safe vehicle operation, and related embedded systems must remain up-to-date to ensure long-term system performance. Update mechanisms introduce opportunities for malicious actors to compromise these cyber-physical systems, and for trusted actors to accidentally install incompatible software versions. An automotive software and data provenance mechanism is proposed to assure users, service providers, and original equipment manufacturers (OEMs) of vehicular software integrity and reliability. The proposed approach employs the use of distributed hash tables (DHT) and a public blockchain to provide high assurance, scalability, and efficiency.

研究の動機と目的

• ますます複雑化する自動車システムにおける、悪意あるまたは非互換性のあるソフトウェア更新のリスクが増大するのを是正すること。
• 自動車メーカー（OEM）、サービスプロバイダー、ユーザー間で、ソフトウェアおよびデータの検証可能でエンドツーエンドの完全性保証を提供すること。
• リソース制約のある車載環境において、スケーラブルで効率的なソフトウェアプロヴァンス追跡を可能にすること。
• DHTやパブリックブロックチェーンといった分散技術を活用することで、中央集権的信頼モデルへの依存を低減すること。
• ソフトウェア更新が真正でかつ互換性があることを保証することで、長期的なシステム信頼性を確保すること。

提案手法

• 分散ハッシュテーブル（DHT）を用いて、ソフトウェアメタデータおよび暗号ハッシュを分散的かつスケーラブルに格納・取得する。
• パブリックブロックチェーンを活用してソフトウェア更新イベントを記録・時刻スタンプし、改ざん不能性と監査可能性を確保する。
• 暗号ハッシュ（例：SHA-256）を統合して、ソフトウェアアーティファクトとそのプロヴァンス記録を結合し、完全性の検証を可能にする。
• ソフトウェア完全性がブロックチェーンにアンカーされたDHTエントリを用いて暗号的に検証される信頼モデルを設計する。
• ブロックチェーン-DHTスタックを介して新しいソフトウェアバージョンを登録・検証できるようにすることで、動的更新をサポートする。
• 車両レベルでの軽量な検証を可能にするため、ブロックチェーンレジャーとDHT照会のみを活用し、計算オーバーヘッドを最小限に抑える。

実験結果

リサーチクエスチョン

• RQ1 分散的でスケーラブルかつ効率的な方法で、自動車のソフトウェアおよびデータプロヴァンスをどのように保証できるか？
• RQ2 DHTおよびブロックチェーンは、車両ソフトウェア更新の完全性と真正性をどのように確保するか？
• RQ3 提案されたシステムは、悪意ある改ざんおよび非互換性のあるソフトウェアバージョンの誤った配布を防げるか？
• RQ4 DHTとブロックチェーンの統合は、自動車ソフトウェアサプライチェーンにおける信頼性と監査可能性をどのように向上させるか？
• RQ5 リアルタイムの車載システムにおいて、分散技術を使用する際のパフォーマンスとスケーラビリティのトレードオフは何か？

主な発見

• 提案されたシステムは、DHTのスケーラビリティとパブリックブロックチェーンの改ざん不能性を組み合わせることで、高信頼性のソフトウェア完全性を実現する。
• 暗号ハッシュを用いることで、ソフトウェアまたはメタデータに改ざんが加えられた場合でも、ブロックチェーン検証によって検出可能になる。
• 分散ストレージとパブリックレジャーの活用により、中央集権的機関への依存が低減され、ソフトウェア更新に対する信頼性が向上する。
• 車両での実行時オーバーヘッドを最小限に抑えることで、ソフトウェアプロヴァンスの効率的検証が可能になる。
• システムは、OEM、サービスプロバイダー、ユーザーがすべて監査可能なエンドツーエンドのソフトウェア更新トレーサビリティを提供する。
• 暗号的アンカー化と分散検証により、悪意ある攻撃および誤った非互換性の原因となる不具合に対して、システムはレジリエントである。