News for hackers. Stuff that matters.
Re:The seL4 microkernel by fanf2 on Thursday July 31, 2014 @02:16AM (#8112708)
You should have a look at the literature on capability security, especially http://www.erights.org/elib/capability/duals/myths.html

There was hardly any computer security in the 1950s: it was before time sharing and networking. Your cynicism is over-done.

There are no comments on this comment yet.