Multiple facets for dynamic information flow
A Sound Type System For Secure Flow Analysis