Can We Make Operating Systems Reliable and Secure? By : Hassan AL-Maksousy Andrew S. Tanenbaum, Jorrit N. Herder, and Herbert Bos.
