Efficient purely-dynamic information flow analysis
A lattice model of secure information flow