Verifiable secure operating system software.
Gerald J. PopekCharles S. KlinePublished in: AFIPS National Computer Conference (1974)
Keyphrases
- operating system
- computer systems
- windows xp
- multi tasking
- microsoft windows
- security mechanisms
- high assurance
- linux kernel
- application level
- application programs
- operating environment
- mandatory access control
- previously mentioned
- software development
- virtual machine
- memory management
- protection schemes
- distributed systems
- source code
- multi threaded
- command line
- software package
- data processing
- address space
- data management
- information systems
- discretionary access control
- security issues
- software systems
- software engineering