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
Théorèmes -- Démonstration automatique
Politique de sécurité
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
Langages de programmation
Logiciels -- Vérification
Analyse binaire
Comportement
Programmes malveillants
Recherche de vulnérabilités
Auto-référence