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