1996 | ||
---|---|---|
3 | A. W. Roscoe, Jim Woodcock, L. Wulf: Non-interference through Determinism. Journal of Computer Security 4(1): 27-54 (1996) | |
1995 | ||
2 | EE | A. W. Roscoe, L. Wulf: Composing and decomposing systems under security properties. CSFW 1995: 9-15 |
1994 | ||
1 | EE | A. W. Roscoe, Jim Woodcock, L. Wulf: Non-Interference Through Determinism. ESORICS 1994: 33-53 |
1 | A. W. Roscoe (A. William Roscoe, Bill Roscoe) | [1] [2] [3] |
2 | Jim Woodcock (J. C. P. Woodcock) | [1] [3] |