A Secure Information Flow Architecture for Web Services | IEEE Conference Publication | IEEE Xplore