Proving the adequacy of protection in an operating system.

Theodore A. Linden

Published in: SIGPLAN-SIGOPS Interface Meeting (1973)

Keyphrases

operating system
protection scheme
previously mentioned
computer systems
virtual machine
information security
memory management
microsoft windows
address space
windows xp
distributed systems
privacy protection
application programs
linux kernel
multi tasking
processor core
application programmer
protection schemes