Title :
A Secure Capability Computer System
Author_Institution :
Royal Signals and Radar Establishment
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 :
Abstracts; Computers; Flexible printed circuits; Monitoring; Software; Trojan horses;
Conference_Titel :
Security and Privacy, 1986 IEEE Symposium on
Conference_Location :
Oakland, CA, USA
Print_ISBN :
0-8186-0716-5
DOI :
10.1109/SP.1986.10007
