Automatedgenerationandanalysisofattackgraphs——2002S&P.pdf