A Probabilistic Model Checking (PMC) Approach to Solve Security Issues in Digital Twin (DT)

Recent years have observed a major rise in the utilization of Digital Twin (DT) technology. In general, a DT is described as a digital counterpart of a given physical entity that is obtained through the different stages of the DT development process: DT data collection, DT data transmission, DT generation, and DT visualization. However, these stages can be susceptible to various security attacks. This paper investigates the major security attacks that can occur throughout the stages of DT development and provides relevant countermeasures to counter these attacks. A use case of DT in the healthcare domain as an in-patient monitoring system is presented to provide a better understanding of the potential DT security attacks. Furthermore, to evaluate the security of DT, a security analysis approach in the form of a probabilistic model checking (PMC) is presented.