Verification for security monitoring SLAs in IaaS clouds: The example of a network IDS. - Teshome, Amir; Rilling, Louis; Morin, Christine (2018)