A lattice model of secure information flow
Communications of the ACM
A hardware architecture for controlling information flow