Skip to main content

Non−interference through determinism

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

Book Title
Proceedings of ESORICS 94
Series
LNCS 875
Year
1994