The Cambridge CAP Computer and its Protection System.

Roger M. Needham, R. D. H. Walker

Browse the full SOSP paper archive.