Composing and decomposing systems under security properties
A. W. Roscoe and L. Wulf
Book Title
Proceedings of 1995 IEEE Computer Security Foundations Workshop
Publisher
IEEE Computer Society Press
Year
1995
A. W. Roscoe and L. Wulf