Two Formal Analys s of Attack Graphs. - Somesh Jha; Oleg Sheyner; Jeannette M. Wing (CSFW, 2002)

Automated Generation and Analysis of Attack Graphs. - Oleg Sheyner; Joshua W. Haines; Somesh Jha; Richard Lippmann; Jeannette M. Wing (S&P, 2002)

Tools for Generating and Analyzing Attack Graphs. - Oleg Sheyner; Jeannette M. Wing (FMCO, 2003)

Attack scenario graphs for computer network threat analysis and prediction. - Todd Hughes; Oleg Sheyner (Complex., 2003)