Practical Attack Graph Generation for Network Defense. - Kyle Ingols; Richard Lippmann; Keith Piwowarski (ACSAC, 2006)