Timing- and Termination-Sensitive Secure Information Flow: Exploring a New Approach | IEEE Conference Publication | IEEE Xplore