Lattice-based access control models
A lattice model of secure information flow