Security in Pervasive Computing

Volume 3934 of the series Lecture Notes in Computer Science pp 196-210

Information Flow Control to Secure Dynamic Web Service Composition

  • Dieter HutterAffiliated withGerman Research Center for Artificial Intelligence (DFKI GmbH)
  • , Melanie VolkamerAffiliated withGerman Research Center for Artificial Intelligence (DFKI GmbH)

* Final gross prices may vary according to local VAT.

Get Access


The vision of a landscape of heterogeneous web services deployed as encapsulated business software assets in the Internet is currently becoming a reality as part of the Semantic Web. When pro-active agents handle the context-aware discovery, acquisition, composition, and management of application services and data, ensuring the security of customers’ data becomes a principle task. To dynamically compose its offered service, an agent has to process and spread confidential data to other web services demanding the required degree of security. In this paper we propose a methodology based on type-based information flow to control the security of dynamically computed data and their proliferation to other web services.