arXivDaily arXiv每日学术速递 周一至周五更新
arXiv 2201.07765cs.CR

面向情境感知的 cyber-physical 系统:基于区块链的数字孪生安全增强用例

Towards Situational Aware Cyber-Physical Systems: A Security-Enhancing Use Case of Blockchain-based Digital Twins

Sabah Suhail, Saif Ur Rehman Malik, Raja Jurdak, Rasheed Hussain, Raimundas Matulevičius, Davor Svetinovic

AI总结:

本文提出基于区块链的数字孪生框架 TTS-CPS,通过完整性检查和区块链存储规则增强 CPS 安全性,并以汽车行业验证其可行性。

摘要:

cyber-physical 系统(CPSs)中网络攻击的复杂性要求有一种机制,能够在不影响实时系统运行的情况下评估关键基础设施的运行行为与安全性。在此背景下,数字孪生(DTs)通过监控、模拟、预测和优化 CPSs 的状态提供可操作的见解。通过包括系统测试与训练、检测系统配置错误以及安全测试在内的用例,DTs 在整个产品生命周期中加强了 CPSs 的安全性。然而,DTs 的这些好处依赖于关于数据完整性和安全性的假设。当集成由不同利益相关者拥有的多个 DTs 中的多个组件以提供复杂物理系统的聚合视图时,数据的可信度变得更加关键。本文设想了一个基于区块链的 DT 框架,即用于保护 cyber-physical 系统的可信孪生(TTS-CPS)。以汽车行业作为 CPS 用例,我们在概念验证中展示了 TTS-CPS 框架的可行性。为了利用可靠的系统规范数据来构建 DTs 的过程知识,我们通过完整性检查机制确保数据生成源的可信度。此外,在模拟期间评估的安全与安保规则被存储并从区块链中检索,从而建立对底层系统所做决策的更多理解和信心。最后,我们对 TTS-CPS 进行了形式验证。

英文摘要:

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.

机构、总结、中文摘要均由AI分析而来,可能存在错误,请以论文正文为准。

↑