Secure computer systems: a mathematical model (1973)

by D E Elliot, L J LaPadula
Venue:MITRE Corp