An Advanced Approach for Choosing Security Patterns and Checking their Implementation

Sébastien Salva, Loukmen Regainia

This paper tackles the problems of generating concrete test cases for testing whether an application is vulnerable to attacks, and of checking whether security solutions are correc…