English (United Kingdom)

https://curated-unify.zendy.io/wp-json/zendy-region/v1/featured_content/oa?rat=en

https://curated-unify.zendy.io/wp-json/zendy-region/v1/highlighted_journal/

Zendy Plus

Presents the access of premium content as premium feature

Premium Content

Presents the keyphrase highlighting as premium feature

Keyphrase Highlighting

Presents the summarisation as premium feature

Summarisation

Insights

Presents the pdf analysis as premium feature

PDF Analysis

Presents the zaia usage as premium feature

ZAIA

Zendy Tools

Zendy Open

Industrial facilities and critical infrastructures are transforming into"smart" environments that dynamically adapt to external events. The result isan ecosystem of heterogeneous physical and cyber components integrated incyber-physical systems which are more and more exposed to cyber-physicalattacks, i.e., security breaches in cyberspace that adversely affect thephysical processes at the core of the systems.  We provide a formal compositional metric to estimate the impact ofcyber-physical attacks targeting sensor devices of IoT systems formalised in asimple extension of Hennessy and Regan's Timed Process Language. Our impactmetric relies on a discrete-time generalisation of Desharnais et al.'s weakbisimulation metric for concurrent systems. We show the adequacy of ourdefinition on two different attacks on a simple surveillance system.

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