Noninterfering Schedulers - When Possibilistic Noninterference Implies Probabilistic Noninterference.

Andrei Popescu, Johannes Hlzl, Tobias Nipkow

Browse the full CALCO paper archive.