Optimal Defense Policies for Partially Observable Spreading Processes on Bayesian Attack Graphs
Cybersecurity Strategies: The QuERIES Methodology