Quantifying information flow with beliefs
Michael R. Clarkson, Andrew C. Myers, Fred B. Schneider · Journal of Computer Security · 2009
To reason about information flow, a new model is developed that describes how attacker beliefs change due to the attacker's observation of the execution of a probabilistic (or deterministic) program. The model enables compositional reasoning about in