Secure Computer Systems: Mathematical Foundations (1973)

by D E Bell, L J LaPadula