Le moteur de recherche
des thèses françaises
Hélène Kirchner
IdRefMots clés
FR |
EN
Réécriture, Systèmes de (informatique)
Systèmes informatiques -- Mesures de sûreté
Théorie de la démonstration
Réécriture de graphes
Politique de sécurité
Théorèmes -- Démonstration automatique
Calcul de réécriture
Réseaux biochimiques
Systèmes autonomes
Stratégies de réécriture
Bioinformatique
Politiques de Sécurité
Ordinateurs -- Accès -- Contrôle
Analyse binaire
Comportement
Programmes malveillants
Recherche de vulnérabilités
Auto-référence
Analyse informatique
Logiciels -- Vérification