Probabilistic noninterference in a concurrent language1
Dennis Volpano, Geoffrey Smith · Journal of Computer Security · 1999
In previous work (Smith and Volpano, Proceedings 25th Symposium on Principles of Programming Languages, San Diego, CA, 1998, pp. 355–364), we give a type system that guarantees that well-typed multi-threaded programs are possibilistically noninterfer