Operating system security

• Main Author: Jaeger, Trent.
• Corporate Author: Morgan & Claypool Publishers.
• Format: Electronic
• Language: English
• Published: San Rafael, Calif. (1537 Fourth Street, 1537 Fourth Street, San Rafael, CA 94901 USA) : Morgan & Claypool Publishers, c2008.
• Series: Synthesis lectures on information security, privacy and trust ; #1.
• Subjects: Operating systems (Computers); Computers > Access control.; Computer security.
• Online Access: Abstract with links to full text

Operating systems provide the fundamental mechanisms for securing computer processing. Since the 1960s, operating systems designers have explored how to build "secure" operating systems -- operating systems whose mechanisms protect the system against a motivated adversary. Recently, the im...

Table of Contents:

• Introduction
• Access control fundamentals
• Multics
• Security in ordinary operating systems
• Verifiable security goals
• Security kernels
• Securing commercial operating systems
• Case study: solaris trusted extensions
• Case study: building a secure operating system for linux
• Secure capability systems
• Secure virtual machine systems
• System assurance
• Bibliography
• Biographies
• Index.