Tanenbaum: Can We Make Operating Systems Reliable and Secure? (2006) [pdf]cs.vu.nl2 pointsdelamona month ago