Adel Bouhoula
IdRefMots clés
FR |
EN
Réseaux d'ordinateurs -- Mesures de sûreté
Filtres (informatique)
Systèmes informatiques -- Mesures de sûreté
Réécriture, Systèmes de (informatique)
Théorie de la démonstration
Cryptographie
Programmation
Filtrage
SDN
SDN (architecture des réseaux d'ordinateurs)
Programmation à base de règles
Sécurité informatique
Langage métier
Architecture
Politique de sécurité
Spécification
Vérification
Implémentation
Validation
Distribution automatique