A Secure Capability Computer System
- 1 April 1986
- conference paper
- Published by Institute of Electrical and Electronics Engineers (IEEE)
- No. 15407993,p. 86
- https://doi.org/10.1109/sp.1986.10007
Abstract
A secure computer system based on a capability architecture is described. Abstract types are used to provide separation and the reference monitor function. By providing a trusted path from the user to security critical operations, full discretionary and mandatory access controls are enforced.Keywords
This publication has 0 references indexed in Scilit: