Threat-driven modeling and verification of secure software using aspect-oriented Petri nets


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, which explores explicit behaviors of security threats as the mediator between security goals and applications of security features. Security threats are potential attacks, i.e… (More)
DOI: 10.1109/TSE.2006.40


10 Figures and Tables


Citations per Year

114 Citations

Semantic Scholar estimates that this publication has 114 citations based on the available data.

See our FAQ for additional information.

Slides referencing similar topics