A Secure Information Flow Architecture for Web Service Platforms | IEEE Journals & Magazine | IEEE Xplore