Publications
Research publications in computer networking, Internet measurements, routing protocols, and security.
1 publications found
Sort by:
Filters
1 active
2000 - 2025
–
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