Modeling Security in Cyber-Physical Systems

Abstract.

We propose a framework for modeling the security of cyber-physical systems in which the behavior of the adversary is controlled by a threat model that captures both the cyber aspects (with discrete values) as well as the physical aspects (with continuous values) of such systems in a unified way. In particular, it addresses combined (dependent) vector attacks, and synchronization/localization issues. The framework identifies the cyber-physical features specified by the se- curity policies that need to be protected, and can be used for proving formally the security of cyber-physical systems.

Keywords: Cyber-Physical Systems; Threat models; Cryptography for CPS Security;

Download: (PDF file)