Real-Time SCADA Attack Detection by Means of Formal Methods.

Francesco Mercaldo, Fabio Martinelli, Antonella Santone

Browse the full WETICE paper archive.