An indexing method for efficient querying of an attack graph | IEEE Conference Publication | IEEE Xplore