Vaibhav Mehta Constantinos Bartzis Haifeng Zhu Edmund M. Clarke Jeannette M. Wing Ranking Attack Graphs. 127-144 2006 conf/raid/2006 RAID http://dx.doi.org/10.1007/11856214_7 db/conf/raid/raid2006.html#MehtaBZCW06