Olga Kouchnarenko
IdRefMots clés
FR |
EN
Méthodes formelles (informatique)
Vérification
Méthodes formelles
Systèmes informatiques
Coq
Débogage
Systèmes adaptatifs (technologie)
Ontologies (informatique)
Test de Vulnérabilité
Test à partir de Modèles
Patterns de Test de Vulnérabilité
Applications Web
Cross-Site Scripting
Injections SQL
Cross-Site Request Forgery
Privilege Escalation
Systèmes informatiques -- Mesures de sûreté
Composants
Adaptation
Reconfiguration dynamique