@inproceedings{adepu:hal-01369545,
  TITLE = {{Using Process Invariants to Detect Cyber Attacks on a Water Treatment System}},
  AUTHOR = {Adepu, Sridhar and Mathur, Aditya},
  URL = {https://inria.hal.science/hal-01369545},
  NOTE = {Part 3: Cyber Infrastructure},
  BOOKTITLE = {{31st IFIP International Information Security and Privacy Conference (SEC)}},
  ADDRESS = {Ghent, Belgium},
  EDITOR = {Jaap-Henk Hoepman and Stefan Katzenbeisser},
  SERIES = {ICT Systems Security and Privacy Protection},
  VOLUME = {AICT-471},
  PAGES = {91-104},
  YEAR = {2016},
  MONTH = May,
  DOI = {10.1007/978-3-319-33630-5\_7},
  KEYWORDS = {Attack detection ; Cyber attacks ; Cyber physical systems ; Industrial control systems ; Secure water treatment testbed},
  PDF = {https://inria.hal.science/hal-01369545/file/421518_1_En_7_Chapter.pdf},
  HAL_ID = {hal-01369545},
  HAL_VERSION = {v1},
}