Ravi Akella, Bruce M. McMillin. Modeling and verification of security properties for critical infrastructure protection. In Frederick T. Sheldon, Annarita Giani, Axel W. Krings, Robert K. Abercrombie, editors, Cyber Security and Information Intelligence, CSIIRW '13, Oak Ridge, TN, USA, January 8-10, 2013. pages 6, ACM, 2013. [doi]
Abstract is missing.