Suryadipta Majumdar, Yosr Jarraya, Taous Madi, Amir Alimohammadifar, Makan Pourzandi, Lingyu Wang, Mourad Debbabi. Proactive Verification of Security Compliance for Clouds Through Pre-computation: Application to OpenStack. In Ioannis G. Askoxylakis, Sotiris Ioannidis, Sokratis K. Katsikas, Catherine A. Meadows, editors, Computer Security - ESORICS 2016 - 21st European Symposium on Research in Computer Security, Heraklion, Greece, September 26-30, 2016, Proceedings, Part I. Volume 9878 of Lecture Notes in Computer Science, pages 47-66, Springer, 2016. [doi]
Abstract is missing.