Operating Systems Security
The course covers fundamental concepts and mechanisms for enforcing security and defining secure operating systems, defining an ideal secure operating system, the first OS designed for security goals, systems development approaches applied to build a secure operating system, access control fundamentals, formal security goals and corresponding security models proposed for secure operating systems, security kernels, secure virtual machine systems, surveying a variety of approaches applied to the development of secure operating systems, system assurance methodologies.