Improved typings for probabilistic noninterference in a multi-threaded language
Geoffrey Smith · Journal of Computer Security · 2006
With the variables of a program classified as L (low, public) or H (high, private), the secure information flow problem is concerned with preventing the program from leaking information from H variables to L variables. In the context of a multi-threa