Lawrence Carin George Cybenko Jeff Hughes Cybersecurity Strategies: The QuERIES Methodology. 20-26 2008 41 IEEE Computer 8 http://dx.doi.org/10.1109/MC.2008.295 db/journals/computer/computer41.html#CarinCH08