Secure computer systems: Unified exposition and multics interpretation (1976)

by D E Bell, L J LaPadula
Venue:in Tech. Rep. ESD-TR-73-306, The MITRE Corporation