Michael Atighetchi, Fusun Yaman, David Last, Nicholas Paltzer, Meghan Caiazzo, Stephen Raio. A Flexible Approach Towards Security Validation. In Nicholas J. Multari, Anoop Singhal, Erin Miller, editors, Proceedings of the 2017 Workshop on Automated Decision Making for Active Cyber Defense, SafeConfig@CCS 2017, Dallas, TX, USA, October 30 - November 03, 2017. pages 7-13, ACM, 2017. [doi]
Abstract is missing.