Secure computer systems: Mathematical foundations and model (1973)

by D Bell, L La Padula
Venue:in MITRE Report, M74-244, MTR 2547 v2