Publication | Closed Access
A Secure Capability Computer System
17
Citations
4
References
1986
Year
Unknown Venue
EngineeringCapability ArchitectureInformation SecurityFormal VerificationHardware SecurityAccess ControlSystems EngineeringSecure ComputingSecurity ControlTrusted Operating SystemOperating System SecurityComputer EngineeringSecure Computer SystemComputer ScienceData SecurityCryptographyReference Monitor FunctionSecuritySystem SoftwareComputer Security Model
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.
| Year | Citations | |
|---|---|---|
Page 1
Page 1