Reflections on the Verification of the Security of an Operating System Kernel.
Jonathan M. SilvermanPublished in: SOSP (1983)
Keyphrases
- operating system
- high assurance
- security mechanisms
- windows xp
- computer systems
- mandatory access control
- application level
- microsoft windows
- previously mentioned
- model checking
- virtual machine
- red hat
- security policies
- security issues
- intrusion detection
- computer security
- security requirements
- distributed systems
- discretionary access control
- protection scheme
- memory management
- information security
- linux kernel
- operating environment
- multilevel secure
- virtual memory
- command line
- distributed databases