A process calculus approach to detection and mitigation of PLC malware
From MaRDI portal
Publication:2235740
DOI10.1016/j.tcs.2021.08.021OpenAlexW3197721074MaRDI QIDQ2235740
Massimo Merro, Andrei Munteanu, Ruggero Lanotte
Publication date: 21 October 2021
Published in: Theoretical Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.tcs.2021.08.021
Uses Software
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Runtime enforcement monitors: Composition, synthesis, and enforcement abilities
- Shield synthesis
- A semantic theory of the Internet of things
- A process algebra for timed systems
- A probabilistic calculus of cyber-physical systems
- A theory of monitors
- A brief account of runtime verification
- On the complexity of determinizing monitors
- The Applied Pi Calculus
- Supervisory Control of a Class of Discrete Event Processes
- Supervisory control of timed discrete-event systems
- Analysis of Zeno behaviors in a class of hybrid systems
- A Calculus of Cyber-Physical Systems
This page was built for publication: A process calculus approach to detection and mitigation of PLC malware