@article {ar:PopescuHoelzl2014, title = {Probabilistic Noninterference}, journal = {Archive of Formal Proofs}, year = {2014}, author = {A. Popescu and J. H{\"o}lzl} }