A Lattice Model of Secure Information Flow (1976)

by D E Denning
Venue:Communications of the ACM