Detecting covert timing channels using non-parametric statistical approaches | IEEE Conference Publication | IEEE Xplore