Login / Signup

Preservation of probabilistic information flow under refinement.

Thomas Santen
Published in: Inf. Comput. (2008)
Keyphrases