Probabilistic noninterference for multi-threaded programs (0)

by A Sabelfeld, D Sands
Venue:In Proceedings of the 13th IEEE Computer Security Foundation Workshop