An Entropy-Based Approach to Detecting Covert Timing Channels | AMiner