Zobrazeno 1 - 10
of 104
pro vyhledávání: '"Merro, Massimo"'
This paper contributes a formal framework for quantitative analysis of bounded sensor attacks on cyber-physical systems, using the formalism of differential dynamic logic. Given a precondition and postcondition of a system, we formalize two quantitat
Externí odkaz:
http://arxiv.org/abs/2403.05829
Autor:
Cozza, Vittoria, Dalla Preda, Mila, Lanotte, Ruggero, Lucchese, Marco, Merro, Massimo, Zannone, Nicola
Publikováno v:
In International Journal of Critical Infrastructure Protection December 2024 47
With the advent of Industry 4.0, industrial facilities and critical infrastructures are transforming into an ecosystem of heterogeneous physical and cyber components, such as programmable logic controllers, increasingly interconnected and therefore e
Externí odkaz:
http://arxiv.org/abs/2105.10668
We define a simple process calculus, based on Hennessy and Regan's Timed Process Language, for specifying networks of communicating programmable logic controllers (PLCs) enriched with monitors enforcing specifications compliance. We define a synthesi
Externí odkaz:
http://arxiv.org/abs/2007.09399
Publikováno v:
ACM Trans. Priv. Secur. 23(1): 3:1-3:41 (2020)
We apply formal methods to lay and streamline theoretical foundations to reason about Cyber-Physical Systems (CPSs) and physics-based attacks, i.e., attacks targeting physical devices. We focus on a formal treatment of both integrity and denial of se
Externí odkaz:
http://arxiv.org/abs/1902.04572
Industrial facilities and critical infrastructures are transforming into "smart" environments that dynamically adapt to external events. The result is an ecosystem of heterogeneous physical and cyber components integrated in cyber-physical systems wh
Externí odkaz:
http://arxiv.org/abs/1806.10463
Publikováno v:
Logical Methods in Computer Science, Volume 14, Issue 3 (September 28, 2018) lmcs:3845
Gossip protocols have been proposed as a robust and efficient method for disseminating information throughout large-scale networks. In this paper, we propose a compositional analysis technique to study formal probabilistic models of gossip protocols
Externí odkaz:
http://arxiv.org/abs/1707.03215
We propose a hybrid probabilistic process calculus for modelling and reasoning on cyber-physical systems (CPSs). The dynamics of the calculus is expressed in terms of a probabilistic labelled transition system in the SOS style of Plotkin. This is use
Externí odkaz:
http://arxiv.org/abs/1707.02279
Autor:
Lanotte, Ruggero, Merro, Massimo
We propose a hybrid process calculus for modelling and reasoning on cyber-physical systems (CPS{s}). The dynamics of the calculus is expressed in terms of a labelled transition system in the SOS style of Plotkin. This is used to define a bisimulation
Externí odkaz:
http://arxiv.org/abs/1612.00484
We apply formal methods to lay and streamline theoretical foundations to reason about Cyber-Physical Systems (CPSs) and cyber-physical attacks. We focus on %a formal treatment of both integrity and DoS attacks to sensors and actuators of CPSs, and on
Externí odkaz:
http://arxiv.org/abs/1611.01377