A process calculus approach to detection and mitigation of PLC malware

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

zbMATH Keywords

process calculusmitigationruntime enforcementmalware detectionprogrammable logic controller

Mathematics Subject Classification ID

Theory of computing (68Qxx)

Uses Software

• Simulink

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