The Caernarvon secure embedded operating system.
David C. TollPaul A. KargerElaine R. PalmerSuzanne McIntoshSam WeberPublished in: ACM SIGOPS Oper. Syst. Rev. (2008)
Keyphrases
- operating system
- security mechanisms
- application level
- mandatory access control
- computer systems
- previously mentioned
- microsoft windows
- virtual machine
- memory management
- discretionary access control
- windows xp
- command line
- protection scheme
- embedded systems
- distributed systems
- application programs
- address space
- high assurance
- data processing
- open source