Biblio
Export 3 results:
Filters: Автор is Jeannette M. Wing [Clear All Filters]
"An Attack Surface Metric." IEEE Transactions on Software Engineering 37, no. 3 (2011): 371-386.
"A Formal Model for A System’s Attack Surface." In Moving Target Defense: Creating Asymmetric Uncertainty for Cyber Threats, 1-29., 2011.
A Symbiotic Relationship Between Formal Methods and Security In Computer Security, Dependability and Assurance: From Needs to Solutions, Proceedings. IEEE, 1998.
