Secure computer systems: Mathematical foundations (1973)

by D E Bell, L J LaPadula