Preventing Protocol Switching Covert Channels - Steffen Wendzel (2012)