Shared resource matrix methodology
- 1 August 1983
- journal article
- Published by Association for Computing Machinery (ACM) in ACM Transactions on Computer Systems
- Vol. 1 (3) , 256-277
- https://doi.org/10.1145/357369.357374
Abstract
No abstract availableThis publication has 5 references indexed in Scilit:
- Specification and verification of the UCLA Unix security kernelCommunications of the ACM, 1980
- Program confinement in KVM/370Published by Association for Computing Machinery (ACM) ,1977
- A lattice model of secure information flowCommunications of the ACM, 1976
- Security Kernel validation in practiceCommunications of the ACM, 1976
- A note on the confinement problemCommunications of the ACM, 1973