Probabilistic noninterference in a concurrent language1
- 1 April 1999
- journal article
- Published by SAGE Publications in Journal of Computer Security
- Vol. 7 (2-3) , 231-253
- https://doi.org/10.3233/jcs-1999-72-305
Abstract
This is an expanded version of a paper that appeared in the Proceedings of the 11th IEEE Computer Security Foundations Workshop, Rockport, MA, June 1998, pp. 34–43. In previous work (Smith and Volpano, Proceedings 25th Symposium on Principles of ProgKeywords
This publication has 0 references indexed in Scilit: