Oleg Sheyner Joshua W. Haines Somesh Jha Richard Lippmann Jeannette M. Wing Automated Generation and Analysis of Attack Graphs. 273-284 2002 IEEE Symposium on Security and Privacy http://computer.org/proceedings/sp/1543/15430273abs.htm db/conf/sp/sp2002.html#SheynerHJLW02