Secure computer systems: Mathematical foundations and model (1973)

by D E Bell, L J LaPadula
Venue:Tech. Rep. M74-244, The MITRE Corp., Bedford MA