Bridging Dolev-Yao Adversaries and Control Systems with Time-Sensitive Channels

Provided by: Politecnico di Torino
Topic: Security
Format: PDF
Defining security objectives for industrial control scenarios is a challenging task due to the subtle interactions between system components and because security goals are often far from obvious. Moreover, there is a persistent gap between formal models for channels and adversaries (usually, transition systems) and models for control systems (differential or recurrent equations). To bind these two realms, the authors translate control systems into transition systems by means of an abstraction with variable time granularity and compose them with a channel model that is controlled by Dolev-Yao adversaries.

Find By Topic