Probabilistic timing covert channels: To close or not to close - Di,Pierro A; Hankin,CL; Wiklicky,H (International Journal of Information Security, 2011)