The Operating System Kernel as a Secure Programmable Machine.
Dawson R. EnglerM. Frans KaashoekJames W. O'Toole Jr.Published in: ACM SIGOPS Oper. Syst. Rev. (1995)
Keyphrases
- operating system
- security mechanisms
- computer systems
- previously mentioned
- application level
- mandatory access control
- low cost
- microsoft windows
- distributed systems
- virtual machine
- discretionary access control
- address space
- virtual memory
- linux kernel
- security requirements
- operating environment
- windows xp
- data management
- memory management
- application programs
- data security
- processor core
- high assurance
- interprocess communication
- information systems