A Kantorovich-Monadic Powerdomain for Information Hiding, with Probability and Nondeterminism

DOI10.1109/LICS.2012.56zbMath1362.68161MaRDI QIDQ2986822

Annabelle McIver, Carroll Morgan, Larissa A. Meinicke

Publication date: 16 May 2017

Published in: 2012 27th Annual IEEE Symposium on Logic in Computer Science (Search for Journal in Brave)

zbMATH Keywords

semantics; quantitative information flow; probabilistic domains; probabilistic monads; refinement orders

Mathematics Subject Classification ID

68Q10: Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.)

68Q55: Semantics in the theory of computing

68Q87: Probability in computer science (algorithm analysis, random structures, phase transitions, etc.)