Dynamic Application Security Testing

Fonds national pour la société numérique
Technologie de Sécurité & Résilience des Réseaux
[Afadl 13] F. Lebeau, B. Legeard, F. Peureux, A. Vernotte. Génération de tests de vulnérabilité à partir de modèles. Approches Formelles dans l'Assistance au Développement de Logiciels, 3-5 avril 2013, Nancy, France <download>
[Sectest 13] F. Lebeau, B. Legeard, F. Peureux, A. Vernotte. Model-Based Vulnerability Testing for Web Applications. The Fourth International Workshop on Security Testing, 22 mars 2013, Luxembourg, Luxembourg <download>