Probabilistic noninterference for multi-threaded programs (2000)

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