Probabilistic noninterference in a concurrent language (1998)

by D Volpano, G Smith
Venue:In Proceedings of the 11th IEEE Computer Security Foundations Workshop (CSFW ’98