Proactive Verification of Security Compliance for Clouds Through Pre-computation: Application to OpenStack.

Suryadipta Majumdar, Yosr Jarraya, Taous Madi, Amir Alimohammadifar, Makan Pourzandi, Lingyu Wang, Mourad Debbabi

Browse the full ESORICS paper archive.