Probabilistic timing covert channels: to close or not to close? - Di,Pierro A; Hankin,C; Wiklicky,H (INTERNATIONAL JOURNAL OF INFORMATION SECURITY, 2011)