Chou, S.-C. Information Flow Control for Cloud Environments. AJCIS 2017, 4.