Security Analysis of a Digital Twin Framework Using Probabilistic Model Checking

Eman Shaikh, Abdul-Rahman Al-Ali, Shahabuddin Muhammad, Nazeeruddin Mohammad, Fadi A. Aloul. Security Analysis of a Digital Twin Framework Using Probabilistic Model Checking. IEEE Access, 11:26358-26374, 2023. [doi]

Abstract

Abstract is missing.