Information Flow Control for Strong Protection with Flexible Sharing in PaaS | IEEE Conference Publication | IEEE Xplore