Probabilistic noninterference for multithreaded programs (2000)

by Andrei Sabelfeld, David Sands
Venue:In Proc. 13th IEEE Computer Security Foundations Workshop