Vipin Swarup Sushil Jajodia Joseph Pamula Rule-Based Topological Vulnerability Analysis. 23-37 2005 conf/mmmacns/2005 MMM-ACNS http://dx.doi.org/10.1007/11560326_3 db/conf/mmmacns/mmmacns2005.html#SwarupJP05