Towards a formal notion of impact metric for cyber-physical attacks (full version)

Ruggero Lanotte, Massimo Merro, Simone Tini

Industrial facilities and critical infrastructures are transforming into "smart" environments that dynamically adapt to external events. The result is an ecosystem of heterogeneous…