Non-interference through Determinism (1994)

by A. W. Roscoe, J. C. P. Woodcock, L. Wulf
Venue:Journal of Computer Security