Composing and decomposing systems under security properties

Bibliographic Details
Main Authors: Roscoe, A, Wulf, L
Format: Conference item
Published: IEEE 1995