An Event-Based Unified System Model to Characterize and Evaluate Timing Covert Channels | IEEE Journals & Magazine | IEEE Xplore