A platform for research: civil engineering, architecture and urbanism
A platform for research: civil engineering, architecture and urbanism
Modeling security in cyber–physical systems
Abstract This paper describes a framework for modeling the security of a cyber–physical system in which the behavior of the adversary is controlled by a threat model that captures – in a unified manner – the cyber aspects (with discrete values) and the physical aspects (with continuous values) of the cyber–physical system. In particular, the framework addresses combined (dependent) vector attacks and synchronization/localization issues. The framework identifies the cyber–physical features that must be protected according to the prevailing security policy. Also, the framework can be used for formal proofs of the security of cyber–physical systems.
Modeling security in cyber–physical systems
Abstract This paper describes a framework for modeling the security of a cyber–physical system in which the behavior of the adversary is controlled by a threat model that captures – in a unified manner – the cyber aspects (with discrete values) and the physical aspects (with continuous values) of the cyber–physical system. In particular, the framework addresses combined (dependent) vector attacks and synchronization/localization issues. The framework identifies the cyber–physical features that must be protected according to the prevailing security policy. Also, the framework can be used for formal proofs of the security of cyber–physical systems.
Modeling security in cyber–physical systems
Burmester, Mike (author) / Magkos, Emmanouil (author) / Chrissikopoulos, Vassilis (author)
2012-05-20
9 pages
Article (Journal)
Electronic Resource
English
Analysis of information flow security in cyber–physical systems
| Elsevier | 2010
Analysis of information flow security in cyber–physical systems
| Elsevier | 2010
Cyber Physical Security of the Critical Infrastructure
| TIBKAT | 2022
Cyber Physical Security of the Critical Infrastructure
| Springer Verlag | 2022