Taming "Trusted Platforms" by Operating System Design.

Ahmad-Reza Sadeghi Christian Stüble

Published in: WISA (2003)

Keyphrases

operating system
operating environment
memory management
computer systems
case study
windows xp
virtual machine
application programs
high assurance
multi tasking
linux kernel
microsoft windows
distributed systems
database
address space
application level
embedded systems
design process
discretionary access control