security in the “ real ” world .
A lattice model of secure information flow