A secure information flow architecture for public web service | IEEE Conference Publication | IEEE Xplore