Security Kernel Validation in Practice (1976)

by J K Millen
Venue:Communications of the ACM