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]
No references recorded for this publication.
No citations of this publication recorded.