Jean-Christophe Bach
Mots clés
FR |
EN
Logiciels -- Développement
Systèmes informatiques -- Mesures de sûreté
Réécriture
Termes
Transformation
Modèles
Traçabilité
Qualification
Design patterns
Réécriture, Systèmes de (informatique)
Logiciels -- Validation
Détournement de flot de contrôle
Sécurité à la conception
Sensibilité aux attaques
Analyse de binaires
Cyberdéfense
Modélisation d’infrastructure
Gestion des risques
Fédération de modèles
Vérification formelle