A decentralized model for information flow control
A lattice model of secure information flow