Publications
Research publications in computer networking, Internet measurements, routing protocols, and security.
1 publications found
Sort by:
Filters
1 active
2000 - 2026
–
De l’Utilisation des Métagraphes pour la Vérification de Politiques de Sécurité
Loïc Miller, Pascal Mérindol, Antoine Gallais, Cristel Pelsser
AlgoTel
Access controlsecurity policiesmetagraphsmodel checking