An algorithm to find optimal attack paths in nondeterministic scenarios
Topological analysis of network attack vulnerability