Composing and decomposing systems under security properties
| Main Authors: | , |
|---|---|
| Format: | Conference item |
| Published: |
IEEE
1995
|
| _version_ | 1826258416067149824 |
|---|---|
| author | Roscoe, A Wulf, L |
| author_facet | Roscoe, A Wulf, L |
| author_sort | Roscoe, A |
| collection | OXFORD |
| description | |
| first_indexed | 2024-03-06T18:33:39Z |
| format | Conference item |
| id | oxford-uuid:0a8133e7-9f17-4695-83c3-3bd6152d09cf |
| institution | University of Oxford |
| last_indexed | 2024-03-06T18:33:39Z |
| publishDate | 1995 |
| publisher | IEEE |
| record_format | dspace |
| spelling | oxford-uuid:0a8133e7-9f17-4695-83c3-3bd6152d09cf2022-03-26T09:24:13ZComposing and decomposing systems under security propertiesConference itemhttp://purl.org/coar/resource_type/c_5794uuid:0a8133e7-9f17-4695-83c3-3bd6152d09cfDepartment of Computer ScienceIEEE1995Roscoe, AWulf, L |
| spellingShingle | Roscoe, A Wulf, L Composing and decomposing systems under security properties |
| title | Composing and decomposing systems under security properties |
| title_full | Composing and decomposing systems under security properties |
| title_fullStr | Composing and decomposing systems under security properties |
| title_full_unstemmed | Composing and decomposing systems under security properties |
| title_short | Composing and decomposing systems under security properties |
| title_sort | composing and decomposing systems under security properties |
| work_keys_str_mv | AT roscoea composinganddecomposingsystemsundersecurityproperties AT wulfl composinganddecomposingsystemsundersecurityproperties |