A Survey of Security Research for Operating Systems
This survey organizes recent operating system security research into three areas: virtualization technology, OS verification technology, and access control technology. It examines how these methods strengthen information systems by focusing on the OS as a fundamental security element and addressing threats to the OS itself, running programs on it, and both simultaneously.