Cyber security analysis using attack countermeasure trees
strategic games on defense trees .