@inproceedings{inproceedings, title = {{Formalizing Probabilistic Noninterference}}, publisher = {{Springer International Publishing}}, url = {{http://dx.doi.org/10.1007/978-3-319-03545-1_17 }}, year = {{2013}}, month = {{12}}, author = {{Popescu A and H枚lzl J and Nipkow T}}, doi = {{10.1007/978-3-319-03545-1_17}}, isbn = {{9783319035444}}, pages = {{259-275}}, note = {{Accessed on 2025/04/10}}}