information flow control with system dependence graphs - improving modularity , scalability and precision for object oriented languages .
A lattice model of secure information flow