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]
@inproceedings{MercaldoMS19, title = {Real-Time SCADA Attack Detection by Means of Formal Methods}, author = {Francesco Mercaldo and Fabio Martinelli and Antonella Santone}, year = {2019}, doi = {10.1109/WETICE.2019.00057}, url = {https://doi.org/10.1109/WETICE.2019.00057}, researchr = {https://researchr.org/publication/MercaldoMS19}, cites = {0}, citedby = {0}, pages = {231-236}, booktitle = {28th IEEE International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises, WETICE 2019, Naples, Italy, June 12-14, 2019}, editor = {Sumitra Reddy}, publisher = {IEEE}, isbn = {978-1-7281-0676-2}, }