Design of software rejuvenation for CPS security using invariant sets
R Romagnoli, BH Krogh… - 2019 American Control …, 2019 - ieeexplore.ieee.org
Software rejuvenation has been proposed as a strategy to protect cyber-physical systems
(CSPs) against unanticipated and undetectable cyber attacks. The basic idea is to refresh …
(CSPs) against unanticipated and undetectable cyber attacks. The basic idea is to refresh …
Safety and liveness of software rejuvenation for secure tracking control
R Romagnoli, BH Krogh… - 2019 18th European …, 2019 - ieeexplore.ieee.org
Software rejuvenation is the concept of scheduling periodic system reboots to eliminate
sources of potential failures due to unanticipated states in the run-time system. It has been …
sources of potential failures due to unanticipated states in the run-time system. It has been …
Software rejuvenation for safe operation of cyber–physical systems in the presence of run-time cyberattacks
Software rejuvenation refers to the periodic restoration of a computing system's software and
data with a previously saved image to eliminate undesired behavior due to unknown or …
data with a previously saved image to eliminate undesired behavior due to unknown or …
Software rejuvenation under persistent attacks in constrained environments
Software rejuvenation has been proposed to guarantee safety of cyber-physical systems
(CPSs) against cyber-attacks. Recent work has demonstrated how this method can be …
(CPSs) against cyber-attacks. Recent work has demonstrated how this method can be …
Secure networked control via software rejuvenation
Software rejuvenation has been proposed as a prevention mechanism against
unanticipated and undetectable attacks on cyber-physical systems. Without needing to …
unanticipated and undetectable attacks on cyber-physical systems. Without needing to …
A linear programming approach to computing safe sets for software rejuvenation
Software rejuvenation was born to fix operating system faults by periodically refreshing the
run-time code and data. This mechanism has been extended to protect control systems from …
run-time code and data. This mechanism has been extended to protect control systems from …
Verifying safety for resilient cyber-physical systems via reactive software restart
Resilient cyber-physical systems (CPS) must ensure safety and per-form required tasks in
the presence of malicious cyber attacks. Recently, restart-based defenses have been …
the presence of malicious cyber attacks. Recently, restart-based defenses have been …
Analysis, prevention, and feasibility assessment of stealthy ageing attacks on dynamical systems
This article provides control theory methods to analyse, prevent, and assess the feasibility of
stealthy ageing attacks on controlled physical systems, modelled as dynamical systems …
stealthy ageing attacks on controlled physical systems, modelled as dynamical systems …
YOLO: frequently resetting cyber-physical systems for security
A Cyber-Physical System (CPS) is defined by its unique interactions between digital (cyber)
computation and physical motion. Their hybrid nature introduces new attack vectors, but also …
computation and physical motion. Their hybrid nature introduces new attack vectors, but also …
Workload-based software rejuvenation in cloud systems
Cloud computing is a promising paradigm able to rationalize the use of hardware resources
by means of virtualization. Virtualization allows to instantiate one or more virtual machines …
by means of virtualization. Virtualization allows to instantiate one or more virtual machines …
相关搜索
- software rejuvenation invariant sets
- software rejuvenation cps security
- cps security invariant sets
- software rejuvenation run time
- software rejuvenation persistent attacks
- software rejuvenation safety and liveness
- software rejuvenation tracking control
- software rejuvenation constrained environments
- software rejuvenation safe sets
- software rejuvenation safe operation