Time and Probability Based Information Flow Analysis