On Modeling Computer Networks for Vulnerability Analysis. - Clinton Campbell; Jerald Dawkins; Brandon Pollet; Kenneth Fitch; John Hale; Mauricio Papa (DBSec, 2002)