Model-based security analysis of a water treatment system.

Eunsuk Kang, Sridhar Adepu, Daniel Jackson, Aditya P. Mathur

Browse the full ICSE paper archive.