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
local agent (security module) can be deployed to the IoT device by the IoT server. The
runtime verification approach implemented in the Digital Twin detects possible violations of
protected communications from either a remote device or a local compromised process and
provides timely and valuable information for countering a potential cyber-security attack …
Digital Twin with runtime verification capabilities. The solution proposed assumes that a
local agent (security module) can be deployed to the IoT device by the IoT server. The
runtime verification approach implemented in the Digital Twin detects possible violations of
protected communications from either a remote device or a local compromised process and
provides timely and valuable information for countering a potential cyber-security attack …
An IoT Digital Twin for Cyber-Security Defence Based on Runtime Verification
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
local agent (security module) can be deployed to the IoT device by the IoT server. The
runtime verification approach implemented in the Digital Twin detects possible violations of
protected communications from either a remote device or a local compromised process and
provides timely and valuable information for countering a potential cyber-security attack …
Digital Twin with runtime verification capabilities. The solution proposed assumes that a
local agent (security module) can be deployed to the IoT device by the IoT server. The
runtime verification approach implemented in the Digital Twin detects possible violations of
protected communications from either a remote device or a local compromised process and
provides timely and valuable information for countering a potential cyber-security attack …
以上显示的是最相近的搜索结果。 查看全部搜索结果