A lattice model of secure information flow (1976)

by D E Denning
Venue:Commun. ACM