Design and analysis of a model-based Covert Timing Channel for Skype traffic | IEEE Conference Publication | IEEE Xplore