A threat-driven approach to modeling and verifying secure software.

Dianxiang Xu Kendall E. Nygard

Published in: ASE (2005)

Keyphrases

modeling language
software systems
software development
data driven
source code
computer systems
model checking
software tools
software design
neural network
data mining
user interface
low cost
lightweight
software developers
software package