Dieter Hutter, Melanie Volkamer: Information Flow Control to Secure Dynamic Web Service Composition. SPC 2006: 196-210