Sridhar Adepu, Aditya Mathur. Using Process Invariants to Detect Cyber Attacks on a Water Treatment System. In Jaap-Henk Hoepman, Stefan Katzenbeisser 0001, editors, ICT Systems Security and Privacy Protection - 31st IFIP TC 11 International Conference, SEC 2016, Ghent, Belgium, May 30 - June 1, 2016, Proceedings. Volume 471 of IFIP Advances in Information and Communication Technology, pages 91-104, Springer, 2016. [doi]
Abstract is missing.