Effective and efficient implementation of an information flow control protocol for service composition | IEEE Conference Publication | IEEE Xplore