Model-based security testing: a taxonomy and systematic classification
Automated Security Test Generation with Formal Threat Models