TU Darmstadt / ULB / TUbiblio

Information Flow Analysis Based Security Checking of Health Service Composition Plans

Hutter, Dieter and Klusch, Matthias and Volkamer, Melanie
Stormer, Henrik and Meier, Andreas and Schumacher, Michael (eds.) (2006):
Information Flow Analysis Based Security Checking of Health Service Composition Plans.
In: Proceedings of the ECEH'06, Freiburg (Schweiz), 91, [Conference or Workshop Item]

Abstract

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, OWLSMX, 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.

Item Type: Conference or Workshop Item
Erschienen: 2006
Editors: Stormer, Henrik and Meier, Andreas and Schumacher, Michael
Creators: Hutter, Dieter and Klusch, Matthias and Volkamer, Melanie
Title: Information Flow Analysis Based Security Checking of Health Service Composition Plans
Language: English
Abstract:

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, OWLSMX, 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.

Title of Book: Proceedings of the ECEH'06
Volume: 91
Uncontrolled Keywords: Security, Usability and Society
Divisions: LOEWE > LOEWE-Zentren > CASED – Center for Advanced Security Research Darmstadt
20 Department of Computer Science > SECUSO - Security, Usability and Society
LOEWE > LOEWE-Zentren
20 Department of Computer Science
LOEWE
Event Location: Freiburg (Schweiz)
Date Deposited: 28 Jul 2016 18:35
Identification Number: TUD-CS-2006-0402
Related URLs:
Export:
Suche nach Titel in: TUfind oder in Google

Optionen (nur für Redakteure)

View Item View Item