Gesellschaft für Informatik e.V.

Lecture Notes in Informatics

European Conference on eHealth 2006, Proceedings of the ECEH'06, Fribourg, Switzerland, October 12-13, 2006 P-91, 59-70 (2006).



Henrik Stormer, Andreas Meier, Michael Schumacher (eds.)


Information flow analysis based security checking of health service composition plans

Dieter Hutter , Matthias Klusch and Melanie Volkame


In 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.

Full Text: PDF

ISBN 978-3-88579-185-0

Last changed 24.01.2012 21:55:16