John Sanguinetti
University of Michigan Computing Center
Operating System Structures to Support Security and Reliable Software
ACM Computing Surveys (CSUR)
A proposal for an architectural approach which apparently solves all known software-based internal computer security problems
ACM SIGOPS Operating Systems Review