Francesco Mercaldo, Fabio Martinelli, Antonella Santone. Real-Time SCADA Attack Detection by Means of Formal Methods. In Sumitra Reddy, editor, 28th IEEE International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises, WETICE 2019, Naples, Italy, June 12-14, 2019. pages 231-236, IEEE, 2019. [doi]
Abstract is missing.