An indexing method for efficient querying of an attack graph. - Atin Ruia; Vishal Parekh; Aveek Chakrabarti (ReTIS, 2011)