Towards situational aware cyber-physical systems: A security-enhancing use case of blockchain-based digital twins

被引:41
作者
Suhail, Sabah [1 ]
Malik, Saif Ur Rehman [2 ]
Jurdak, Raja [3 ]
Hussain, Rasheed [4 ,7 ]
Matulevicius, Raimundas [5 ]
Svetinovic, Davor [1 ,6 ]
机构
[1] Vienna Univ Econ & Business, Res Inst Cryptoecon, Informat Syst & Operat Management, Vienna, Austria
[2] Cybernet, Tallinn, Estonia
[3] Queensland Univ Technol, Trusted Networks Lab, Brisbane, Australia
[4] Univ Bristol, Smart Internet Lab, Bristol, England
[5] Univ Tartu, Tartu, Estonia
[6] Khalifa Univ Sci & Technol, Ctr Cyber Phys Syst Elect Engn & Comp Sci, Abu Dhabi, U Arab Emirates
[7] Univ Bristol, Bristol Digital Futures Inst BDFI, Bristol, England
关键词
Anomaly detection; Blockchain; Cyber-Physical Systems (CPSs); Digital Twins (DTs); Industrial Control Systems (ICSs); Internet of Things (IoT); Industry; 4; 0;
D O I
10.1016/j.compind.2022.103699
中图分类号
TP39 [计算机的应用];
学科分类号
081203 ; 0835 ;
摘要
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 through 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 (ICMs). Additionally, Safety and Security (S&S) 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. (c) 2022 The Author(s). Published by Elsevier B.V. CC_BY_4.0
引用
收藏
页数:16
相关论文
共 44 条
[1]  
[Anonymous], 2010, HOTNETS 9, DOI DOI 10.1145/1868447.1868466
[2]  
Antonioli D., 2015, P 1 ACM WORKSH CYB P, P91, DOI DOI 10.1145/2808705.2808715
[3]  
Baheti R., 2011, The Impact of Control Technology, P161, DOI DOI 10.1145/1795194.1795205
[4]  
Becue A., 2018, CyberFactory#1-Securing the Industry 4.0 with cyber-ranges and digital twins, P1, DOI DOI 10.1109/WFCS.2018.8402377
[5]  
Biere A, 2003, ADV COMPUT, V58, P117
[6]   Deriving a Cost-Effective Digital Twin of an ICS to Facilitate Security Evaluation [J].
Bitton, Ron ;
Gluck, Tomer ;
Stan, Orly ;
Inokuchi, Masaki ;
Ohta, Yoshinobu ;
Yamada, Yoshiyuki ;
Yagyu, Tomohiko ;
Elovici, Yuval ;
Shabtai, Asaf .
COMPUTER SECURITY (ESORICS 2018), PT I, 2018, 11098 :533-554
[7]   Shop Floor Digital Twin in Smart Manufacturing: A Systematic Literature Review [J].
Corallo, Angelo ;
Del Vecchio, Vito ;
Lezzi, Marianna ;
Morciano, Paola .
SUSTAINABILITY, 2021, 13 (23)
[8]   SMT-Based Bounded Model Checking for Embedded ANSI-C Software [J].
Cordeiro, Lucas ;
Fischer, Bernd ;
Marques-Silva, Joao .
IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 2012, 38 (04) :957-974
[9]  
Damjanovic-Behrendt V, 2018, 2018 9TH INTERNATIONAL CONFERENCE ON INTELLIGENT SYSTEMS (IS), P272, DOI 10.1109/IS.2018.8710526
[10]   Z3: An efficient SMT solver [J].
de Moura, Leonardo ;
Bjorner, Nikolaj .
TOOLS AND ALGORITHMS FOR THE CONSTRUCTION AND ANALYSIS OF SYSTEMS, 2008, 4963 :337-340