Formalizing Probabilistic Noninterference

Certified Programs and Proofs - Lecture Notes in Computer Science ◽

10.1007/978-3-319-03545-1_17 ◽

2013 ◽

pp. 259-275 ◽

Author(s):

Andrei Popescu ◽

Johannes Hölzl ◽

Tobias Nipkow

Download Full-text