A methodology for the detection of timing channels