Sai Sidharth Patlolla, Bruce McMillin, Sridhar Adepu, Aditya Mathur. An Approach for Formal Analysis of the Security of a Water Treatment Testbed. In 23rd IEEE Pacific Rim International Symposium on Dependable Computing, PRDC 2018, Taipei, Taiwan, December 4-7, 2018. pages 115-124, IEEE, 2018. [doi]
Abstract is missing.