IFCaaS: Information Flow Control as a Service for Cloud Security
A lattice model of secure information flow