A process calculus approach to detection and mitigation of PLC malware

DOI10.1016/J.TCS.2021.08.021MaRDI QIDQ2235740zbMATH OpenOpenAlexFDO

Authors Ruggero Lanotte, Massimo Merro, Andrei Munteanu

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

malware detectionmitigationprocess calculusprogrammable logic controllerruntime enforcement

Mathematics Subject Classification ID

Theory of computing (68Qxx)

Recommendations

• A propagation model with defensive measures for PLC-PC worms in industrial networks
• Data-aware process discovery for malware detection: an empirical study
• Hunting distributed malware with the \(\kappa \)-calculus
• LTL model-checking for malware detection
• Pushdown model checking for malware detection

Cites work

• A brief account of runtime verification
• A calculus of cyber-physical systems
• A probabilistic calculus of cyber-physical systems
• A process algebra for timed systems
• A semantic theory of the Internet of Things
• A theory of monitors
• Analysis of Zeno behaviors in a class of hybrid systems
• scientific article; zbMATH DE number 42752 (Why is no real title available?)
• scientific article; zbMATH DE number 48630 (Why is no real title available?)
• On runtime enforcement via suppressions
• On the complexity of determinizing monitors
• Runtime enforcement monitors: Composition, synthesis, and enforcement abilities
• Shield synthesis
• Supervisory Control of a Class of Discrete Event Processes
• Supervisory control of timed discrete-event systems
• The Applied Pi Calculus
• Tracing where IoT data are collected and aggregated

Cited in

(2)

• Centralized vs decentralized monitors for hyperproperties
• Centralized vs. decentralized monitors for hyperproperties

Describes a project that uses

Uses Software

• Simulink

This page was built for publication: A process calculus approach to detection and mitigation of PLC malware

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2235740)