TCP covert timing channels: Design and detection | IEEE Conference Publication | IEEE Xplore