A. W. Roscoe, L. Wulf. Composing and decomposing systems under security properties. In The Eighth IEEE Computer Security Foundations Workshop (CSFW 95), March 13-15, 1995, Kenmare, County Kerry, Ireland. pages 9-15, IEEE Computer Society, 1995. [doi]
Abstract is missing.