Formalization of SLAs for Cloud Forensic Readiness