Reading Time: < 1 minute

Show all

Nardone, Roberto; Rodríguez, Ricardo J; Marrone, Stefano

Formal Security Assessment of Modbus Protocol Inproceedings

In: Proceedings of the 11th International Conference for Internet Technology and Secured Transactions, pp. 142–147, IEEE, 2016.

Abstract | Links | BibTeX | Tags: Cyber-Physical Security, Dynamic State Machines, Modbus, Model checking, SCADA control systems