C2Detector: a covert channel detection framework in cloud computing. Issue 3 (8th May 2013)