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

Sai Sidharth Patlolla Bruce M. McMillin Sridhar Adepu Aditya Mathur

Published in: PRDC (2018)

Keyphrases

formal analysis
ban logic
water treatment
water quality
formal methods
information security
security issues
network security
intrusion detection
agent model
access control
database
security requirements
lightweight
security analysis
authentication protocol
software engineering
database systems