Login / Signup

Composing and decomposing systems under security properties.

A. W. RoscoeLars Wulf
Published in: CSFW (1995)
Keyphrases
  • security properties
  • real time
  • distributed systems
  • computer systems
  • formal methods
  • databases
  • operating system