readit

 1- [liedtke1995microkernel]: On μ-kernel construction
 2
 3- [basili1984complexity]: Software Errors and Complexity: An Empirical Investigation
 4	* Authors: {Victor R. Basili, Barry T. Perricone}
 5	* DOI: 10.1145/69605.2085
 6	* Topics: {Software Engineering}
 7
 8x [tanenbaum2006secure]: Can We Make Operating Systems Reliable and Secure?
 9	* Authors: {Andrew S. Tanenbaum, Jorrit N. Herder, Herbert Bos}
10	* DOI: 10.1109/MC.2006.156
11	* Topics: {Computer Security, Operating Systems}
12	* References: [basili1984complexity, liedtke1995microkernel]
13
14	* Discusses techniques for improving the security of operating systems
15	* Emphasises the importance of isolation mechanisms
16	* Has a focus on microkernel architectures