Publications
Research publications in computer networking, Internet measurements, routing protocols, and security.
2 publications found
Sort by:
Filters
1 active
2000 - 2025
–
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
Verification of Cloud Security Policies
Loïc Miller, Pascal Mérindol, Antoine Gallais, Cristel Pelsser
IEEE International Conference on High Performance Switching and Routing Conference (HPSR)
policy verificationmetagraphspolicymodelingregoaccess controlauthorization