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

Abstract

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

Topics

10 Figures and Tables

Statistics

01020'07'08'09'10'11'12'13'14'15'16'17'18
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