Verification for security monitoring SLAs in IaaS clouds: The example of a network IDS.

Amir Teshome, Louis Rilling, Christine Morin

Browse the full NOMS paper archive.