A process calculus approach to detection and mitigation of PLC malware

Ruggero Lanotte, Massimo Merro, Andrei Munteanu. A process calculus approach to detection and mitigation of PLC malware. Theoretical Computer Science, 890:125-146, 2021. [doi]

Abstract

Abstract is missing.