Lars Wulf

Publication Activity (10 Years)

Years Active: 1994-1996
Publications (10 Years): 0

University of Oxford, UK (PHD)

Education History

University of Oxford, UK

PHD

Publications

A. W. Roscoe, Jim Woodcock, Lars Wulf
Non-interference through Determinism. J. Comput. Secur. 4 (1) (1996)
A. W. Roscoe, Lars Wulf
Composing and decomposing systems under security properties. CSFW (1995)
A. W. Roscoe, Jim Woodcock, Lars Wulf
Non-Interference Through Determinism. ESORICS (1994)