Modeling security in cyber-physical systems
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. (C) 2012 Elsevier B.V. All rights reserved.
cyber-physical systems threat models treaty verification protocols