Towards the Certification of Covert Channel Freeness in Cloud-based Systems

The rapid transition to cloud-based infrastructures has introduced a number of uncharted risks, threats, and challenges that are faced by security experts. In particular, concerns surrounding the confidentiality of information in cloud-based systems and the existence of covert communication channels ought to be addressed.In this paper, we outline a schema for certifying covert channel freeness in cloud-based systems. The proposed schema …