An iot digital twin for cyber-security defence based on runtime verification
JD de Hoz Diego, A Temperekidis, P Katsaros… - … Applications of Formal …, 2022 - Springer
A security decoupling approach for IoT device communications is presented, based on a
Digital Twin with runtime verification capabilities. The solution proposed assumes that a …
Digital Twin with runtime verification capabilities. The solution proposed assumes that a …