An Approach for Formal Analysis of the Security of a Water Treatment Testbed.

Sai Sidharth Patlolla, Bruce M. McMillin, Sridhar Adepu, Aditya Mathur

Browse the full PRDC paper archive.