Hutter, DieterKlusch, MatthiasVolkame, MelanieStormer, HenrikMeier, AndreasSchumacher, Michael2019-07-112019-07-112006978-3-88579-185-0https://dl.gi.de/handle/20.500.12116/24007In this paper, we present an approach to solve the problem of provably 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. We demonstrate this approach by means of its application to a use case scenario of health service composition planning.enText/Conference Paper1617-5468