Login / Signup
Composing and decomposing systems under security properties.
A. W. Roscoe
Lars Wulf
Published in:
CSFW (1995)
Keyphrases
</>
security properties
real time
distributed systems
computer systems
formal methods
databases
operating system