Less is More - A Secure Microkernel-Based Operating System.
Adam LackorzynskiAlexander WargPublished in: SysSec@DIMVA (2011)
Keyphrases
- operating system
- security mechanisms
- mandatory access control
- previously mentioned
- computer systems
- application level
- virtual memory
- security requirements
- discretionary access control
- red hat
- linux kernel
- address space
- microsoft windows
- databases
- high assurance
- protection scheme
- virtual machine
- database systems
- operating environment
- command line
- memory management
- distributed systems
- data structure
- information systems
- database