Cyber security analysis using attack countermeasure trees
Introduction to Algorithms