On attaining reliable software for a secure operating system.
Lawrence RobinsonKarl N. LevittPeter G. NeumannAshok R. SaxenaPublished in: Reliable Software (1975)
Keyphrases
- operating system
- computer systems
- windows xp
- multi tasking
- microsoft windows
- security mechanisms
- high assurance
- application level
- linux kernel
- previously mentioned
- mandatory access control
- application programs
- virtual machine
- software systems
- distributed systems
- operating environment
- discretionary access control
- memory management
- address space
- source code
- protection schemes
- security issues
- embedded systems
- database design
- data processing
- software development
- data model