Composing and decomposing systems under security properties

Detalles Bibliográficos
Main Authors: Roscoe, A, Wulf, L
Formato: Conference item
Publicado: IEEE 1995