KSOS - Development Methodology for A Secure Operating System (1979)

by T Berson, G Barksdale
Venue:in AFIPS Conference Proceedings