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
A. W. Roscoe‚ J.C.P. Woodcock and L. Wulf