D Xu, KE Nygard - IEEE transactions on software engineering, 2006 - ieeexplore.ieee.org
Design-level vulnerabilities are a major source of security risks in software. To improve
trustworthiness of software design, this paper presents a formal threat-driven approach …