Verifiable secure operating system software

Gerald J. Popek, Charles S. Kline. Verifiable secure operating system software. 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 145-151, AFIPS Press, 1974. [doi]

Abstract

Abstract is missing.