Information-Leakage

Computing Information Flow Using Symbolic Model-Checking