Provably Secure Execution of Composed Semantic Web ServicesDieter Hutter; Melanie Volkamer; Matthias Klusch; Andreas Gerber
In: Proccedings of the 1st International Workshop on Privacy and Security in Agent-based Collaborative Environments. International Workshop on Privacy and Security in Agent-based Collaborative Environments (PSACE-2006), Privacy Considerations for Deployed Multi-Agent Systems, located at AAMAS 2006, May 9, Hakodate, Japan, AAMAS 2006, 2006.
In this paper, we present an approach to solve the problem of secure execution of semantic web service composition plans. The integrated components of this approach include our OWL-S service matchmaker, OWLS-MX, the service composition planner, OWLS-XPlan, and the security checker module for formally verifying the compliance of the created composition plan to be executed with given data and service security policies using type-based information flow analysis.