Secure Computer Systems: A Mathematical Model (1996)

by L J LaPadula, D E Bell
Venue:Journal of Computer Security