Automated Effectiveness Evaluation of Moving Target Defenses: Metrics for Missions and Attacks. - Joshua Taylor; Kara Zaffarano; Ben Koller; Charlie Bancroft; Jason Syversen (MTD@CCS, 2016)