Skip to main content

Non−interference through determinism

A. W. Roscoe‚ J.C.P. Woodcock and L. Wulf

Journal
Journal of Computer Security
Note
revised version of above
Pages
27–54
Series
1
Volume
4
Year
1996