[論文レビュー] Towards Situational Aware Cyber-Physical Systems: A Security-Enhancing Use Case of Blockchain-based Digital Twins

Sabah Suhail, Saif Ur Rehman Malik+4 more|arXiv (Cornell University)|Jan 19, 2022

Physical Unclonable Functions (PUFs) and Hardware Security被引用数 5

ひとこと要約

本論文は、産業用サイバーフィジカルシステム（CPS）における状況認識およびデータ整合性を向上させるために、ブロックチェーンを活用したデジタルツインフレームワーク「信頼性の高いデジタルツイン（TTS-CPS）」を提案する。安全およびセキュリティルールの安全な保存にブロックチェーンを統合し、信頼性のあるデータを確保するための整合性チェックメカニズムを用いることで、システム動作の形式的検証が可能となり、自動車組立ラインのプロトタイプ環境において、運用制約への適合が検証された。

ABSTRACT

The complexity of cyberattacks in Cyber-Physical Systems (CPSs) calls for a mechanism that can evaluate critical infrastructures' operational behaviour and security without affecting the operation of live systems. In this regard, Digital Twins (DTs) provide actionable insights through monitoring, simulating, predicting, and optimizing the state of CPSs. Through the use cases, including system testing and training, detecting system misconfigurations, and security testing, DTs strengthen the security of CPSs throughout the product lifecycle. However, such benefits of DTs depend on an assumption about data integrity and security. Data trustworthiness becomes more critical while integrating multiple components among different DTs owned by various stakeholders to provide an aggregated view of the complex physical system. This article envisions a blockchain-based DT framework as Trusted Twins for Securing Cyber-Physical Systems (TTS-CPS). With the automotive industry as a CPS use case, we demonstrate the viability of the TTS-CPS framework in a proof of concept. To utilize reliable system specification data for building the process knowledge of DTs, we ensure the trustworthiness of data-generating sources through integrity checking mechanisms. Additionally, the safety and security rules evaluated during simulation are stored and retrieved from the blockchain, thereby establishing more understanding and confidence in the decisions made by the underlying systems. Finally, we perform formal verification of the TTS-CPS.

研究の動機と目的

• 複数のステークホルダーから集約されたデータを扱う際の、デジタルツイン（DT）におけるデータ整合性と信頼性を確保するという、極めて重要な課題に対処すること。
• 製品ライフサイクル全体にわたり、システム仕様、安全およびセキュリティルールを安全に管理することで、CPSにおける状況認識を実現するフレームワークを開発すること。
• 不変ログとしてのブロックチェーンを活用してS&Sルールを記録し、システム動作の形式的検証を可能にすることで、産業用制御システムのセキュリティを強化すること。
• 自動車組立ライン環境におけるプロトタイプ実装を通じて、本フレームワークの実現可能性を示すこと。
• 将来のスマートコントラクトや自動防御メカニズムのDT統合の基盤を築くこと。

提案手法

• CPSにおける複数のステークホルダー間で、データの履歴、整合性、信頼性を保証するためのブロックチェーンベースのデジタルツインアーキテクチャ、TTS-CPSを提案する。
• デジタルツインのプロセス知識構築に使用されるシステム仕様データの出所を検証・保護するための整合性チェックメカニズム（ICMs）を採用する。
• シミュレーション中に評価された安全およびセキュリティ（S&S）ルールをブロックチェーンに保存・取得することで、監査可能性と一貫性を確保する。
• 安全および運用制約に対するシステム動作の形式的検証に、Kripke構造と計算ツリー論理（CTL*）を用いた境界付きモデルチェックを適用する。
• Z3 SMTソルバを用いてシステムモデルを展開し、境界付き実行長さまでのタイミング、温度、速度の適合性といった性質を検証する。
• PLC、HMI、物理デバイスを含むシミュレーテッド産業環境を統合し、実際の自動車組立ラインシナリオにおけるフレームワークの妥当性を検証する。

実験結果

リサーチクエスチョン

• RQ1 CPSにおける複数のステークホルダーから集約されたデータを統合する際、仕様に基づくデジタルツインにおけるデータの信頼性は、どのように確保できるか？
• RQ2 ブロックチェーンベースのフレームワークは、S&Sルールの安全な保存および取得を通じて、CPSのセキュリティおよび状況認識を効果的に向上させることができるか？
• RQ3 境界付きモデルチェックおよびSMTソルバを用いた形式的検証は、DTを備えたCPSにおける安全および運用制約への適合を、どの程度まで保証できるか？
• RQ4 ブロックチェーンとDTの統合は、CPSライフサイクル全体にわたり、安全で監査可能かつ検証可能なシステム動作をどのように支援するか？
• RQ5 複雑な産業環境における階層的またはマルチモードのDTアーキテクチャへのスケーリングにおいて、主な技術的課題は何か？

主な発見

• TTS-CPSフレームワークは、自動車組立ラインのプロトタイプ実装を通じて、産業用CPSのセキュリティを強化するブロックチェーン統合型デジタルツインの実現可能性を明確に示した。
• Z3を用いた形式的検証により、指定されたすべての安全および運用制約（タイミング、温度、速度）が満たされていることが確認され、境界付き実行時間内に違反がないことを示す「unsat」結果が得られた。
• 整合性チェックメカニズム（ICMs）の活用により、システム仕様データの信頼性が確保され、DTにおけるプロセス知識の信頼できる基盤が構築された。
• シミュレーション中に評価されたS&Sルールがブロックチェーンに安全に保存されたことで、仮想ツインにおける意思決定プロセスの追跡可能性と監査可能性が実現された。
• 本フレームワークにより、設計およびシミュレーション段階でセキュリティの穴を早期に検出でき、インcidnet対応時間の短縮とシステムのレジリエンス向上が可能になった。
• ブロックチェーンとDTの統合により、異常検知時に防御メカニズムを自動起動するスマートコントラクトによる将来的な自動化の基盤が提供された。