A Formal Model for A System’s Attack Surface Publication Type: Book Chapter Authors: Pratyusa K. Manadhata; Jeannette M. Wing Source: Moving Target Defense: Creating Asymmetric Uncertainty for Cyber Threats, p.1–29 (2011)