Loïc Miller, Pascal Mérindol, Antoine Gallais, Cristel Pelsser. Verification of Cloud Security Policies. In 22nd IEEE International Conference on High Performance Switching and Routing, HPSR 2021, Paris, France, June 7-10, 2021. pages 1-5, IEEE, 2021. [doi]
Abstract is missing.