A probability-model-based approach to detect covert timing channel | IEEE Conference Publication | IEEE Xplore