Zobrazeno 1 - 10
of 63
pro vyhledávání: '"Ruggero Lanotte"'
Publikováno v:
Logical Methods in Computer Science, Vol Volume 14, Issue 3 (2018)
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:
https://doaj.org/article/07038f58b30c41e39c90beb35fd25fab
Publikováno v:
ACM Transactions on Privacy and Security. 26:1-41
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
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::ad9db5eb159decea67f88278fbda0d58
https://doi.org/10.1145/3546579
https://doi.org/10.1145/3546579
Publikováno v:
Computer Security. ESORICS 2022 International Workshops ISBN: 9783031254598
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::91c6e944b200be61b542d0206384b878
https://doi.org/10.1007/978-3-031-25460-4_15
https://doi.org/10.1007/978-3-031-25460-4_15
Publikováno v:
Theoretical Computer Science. 890:125-146
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 specification compliance at runtime. We define
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::568ef818731c593a4fe1af934681c686
https://doi.org/10.1016/j.tcs.2021.08.021
https://doi.org/10.1016/j.tcs.2021.08.021
Autor:
Simone Tini, Ruggero Lanotte
Publikováno v:
Theoretical Computer Science. 869:29-61
Bisimulation metrics are a successful instrument used to estimate the behavioural distance between probabilistic concurrent systems. They have been defined in both discrete and continuous state space models. However, the weak semantics approach, wher
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::d9721a0bfedc9f39c7b94fc7d7d5e7e5
https://doi.org/10.1016/j.tcs.2020.12.045
https://doi.org/10.1016/j.tcs.2020.12.045
Publikováno v:
CSF
Cyber-Physical systems (CPSs) are exposed to cyber- physical attacks, i.e., security breaches in cyberspace that adversely affect the physical processes of the systems.We define two probabilistic metrics to estimate the physical impact of attacks tar
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::edf0223780bfcc0168b4b26a1a8eebe1
http://hdl.handle.net/11383/2115577
http://hdl.handle.net/11383/2115577
Publikováno v:
Lanotte, R, Merro, M, Munteanu, A & Vigano, L 2020, ' A Formal Approach to Physics-Based Attacks in Cyber-Physical Systems ', ACM Transactions on Privacy and Security, vol. 23, no. 1, 3, pp. 3:1–3:41 . https://doi.org/10.1145/3373270
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:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::8ba7ad63d75471be85528b9f1460cf6a
https://kclpure.kcl.ac.uk/en/publications/7a06c3b0-e712-4ff7-ad05-c5ed5d84a363
https://kclpure.kcl.ac.uk/en/publications/7a06c3b0-e712-4ff7-ad05-c5ed5d84a363
Publikováno v:
CSF
With the explosion of Industry 4.0, industrial facilities and critical infrastructures are transforming into “smart” systems that dynamically adapt to external events. The result is an ecosystem of heterogeneous physical and cyber components, suc
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::33ac3bbb6a0de3389e9e786c1c4241af
http://hdl.handle.net/11562/1016105
http://hdl.handle.net/11562/1016105
Publikováno v:
HSCC
Cyber-Physical Systems (CPSs) are integrations of distributed computing systems with physical processes via a networking with actuators and sensors, where feedback loops among the components allow the physical processes to affect the computations and
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::68b57add4e8d8805d765e247161f7e1f
http://hdl.handle.net/11562/989622
http://hdl.handle.net/11562/989622