Pratyusa K. Manadhata, Jeannette M. Wing. A Formal Model for a System's Attack Surface. In Sushil Jajodia, Anup K. Ghosh, Vipin Swarup, Cliff Wang, Xiaoyang Sean Wang, editors, Moving Target Defense - Creating Asymmetric Uncertainty for Cyber Threats. Volume 54 of Advances in Information Security, pages 1-28, Springer, 2011. [doi]
Abstract is missing.