Non-interference through determinism

Computer Security — ESORICS 94 - Lecture Notes in Computer Science ◽

10.1007/3-540-58618-0_55 ◽

1994 ◽

pp. 31-53 ◽

Author(s):

A. W. Roscoe ◽

J. C. P. Woodcock ◽

L. Wulf

Download Full-text