I am researching on operating system security, And I don't know where to look for more information on this.
I could find the following sources, but I need more guidance.
- Microkernel security evaluation[2012 Kevin C. Kurtz]
- Operating System Security and Secure Operating Systems
- Linux kernel vulnerabilities: State-of-the-art defenses and open problems
- Evolution of the Windows Kernel Architecture [Dave Probert, Ph.D 2009]
- Can we make operating systems reliable and secure? [Tanenbaum, A.S 2006.]
- Monolithic kernel vs. Microkernel
- Hybrid vs. monolithic OS kernels: a benchmark comparison 
- An Evaluation Framework for Kernel-Mode Security Modules
- Protecting Commodity Operating System Kernels from Vulnerable Device Drivers
- The Pros and Cons of Unix and Windows Security Policies
- OPERATING SYSTEM CONCEPTS ABRAHAM SILBERSCHATZ 9ed
- A Multiple-Criteria Approach to Ranking Computer Operating Systems
- Choosing Secure Platforms in the Enterprise
- Linux vs windows total cost of ownership comparison
- XNU: a security evaluation
I am looking for questions like,
- Is there any theoretical Operating system architecture that is inherently secure?
- What have been done in making operating systems more secure?
- If we are to assess an operating systems security, is there any guideline or standard measures to do so?
- Is there any theoretical parameter to make an operating system secure?
Is there any parameter for benchmarking OS kernels and rank them?
For example :multics OS has a different design and implementation of stack that makes very hard to do a buffer overflow, or code injection, etc.
Is there any parameter like OWASP Top 10 to rank and benchmark a kernel, or how do I have to gather them?