Olga Kouchnarenko
IdRefMots clés
FR |
EN
Méthodes formelles (informatique)
Vérification
Méthodes formelles
Reconfiguration dynamique
Systèmes informatiques
Coq
Débogage
Systèmes à composants
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