Information Flow Audit for PaaS Clouds | IEEE Conference Publication | IEEE Xplore