Model-based security testing: a taxonomy and systematic classification
Research on Software Security Testing