Information flow security for service compositions | IEEE Conference Publication | IEEE Xplore