Multidomain security
- 30 April 1994
- journal article
- Published by Elsevier in Computers & Security
- Vol. 13 (2), 161-184
- https://doi.org/10.1016/0167-4048(94)90065-5
Abstract
No abstract availableKeywords
This publication has 3 references indexed in Scilit:
- A logic for reasoning about securityACM Transactions on Computer Systems, 1992
- A hookup theorem for multilevel securityIEEE Transactions on Software Engineering, 1990
- A security model for military message systemsACM Transactions on Computer Systems, 1984