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
No takes yet. Share an insight, caveat, or question.
Clarkson et al. (2009) studied this question.
Synapse has enriched 5 related papers. Consider them for comparative context: