Secure Computer System: Unified Exposition and Multics Interpretation (1976)

by D E Bell, L J LaPadula
Venue:Deputy for