Non-Interference Through Determinism.

A. W. Roscoe, Jim Woodcock, Lars Wulf

Browse the full ESORICS paper archive.