Steven B. Lipner, William A. Wulf, Roger R. Schell, Gerald J. Popek, Peter G. Neumann, Clark Weissman, Theodore A. Linden. Security kernels. In American Federation of Information Processing Societies: 1974 National Computer Conference, 6-10 May 1974, Chicago, Illinois, USA. Volume 43 of AFIPS Conference Proceedings, pages 973-980, AFIPS Press, 1974. [doi]
Abstract is missing.