TY - CONF T1 - Formalizing Probabilistic Noninterference UR - http://dx.doi.org/10.1007/978-3-319-03545-1_17 PY - 2013/12/01 AU - Popescu A AU - Hölzl J AU - Nipkow T ED - DO - DOI: 10.1007/978-3-319-03545-1_17 PB - Springer International Publishing SN - 9783319035444 SP - 259 EP - 275 Y2 - 2024/12/23 ER -