KSOS – The design of a secure operating system (1979)

by E J McCauley, P J Drongowski
Venue:In Proc. In AFIPS Conference