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]
@inproceedings{RoscoeW95,
title = {Composing and decomposing systems under security properties},
author = {A. W. Roscoe and L. Wulf},
year = {1995},
url = {http://csdl.computer.org/comp/proceedings/csfw/1995/7033/00/70330009abs.htm},
tags = {security},
researchr = {https://researchr.org/publication/RoscoeW95},
cites = {0},
citedby = {0},
pages = {9-15},
booktitle = {The Eighth IEEE Computer Security Foundations Workshop (CSFW 95), March 13-15, 1995, Kenmare, County Kerry, Ireland},
publisher = {IEEE Computer Society},
}