TU Darmstadt / ULB / TUbiblio

Information Flow Analysis Based Security Checking of Health Service Composition Plans

Hutter, Dieter ; Klusch, Matthias ; Volkamer, Melanie
Hrsg.: Stormer, Henrik ; Meier, Andreas ; Schumacher, Michael (2006)
Information Flow Analysis Based Security Checking of Health Service Composition Plans.
Freiburg (Schweiz)
Konferenzveröffentlichung, Bibliographie

Kurzbeschreibung (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.

Typ des Eintrags: Konferenzveröffentlichung
Erschienen: 2006
Herausgeber: Stormer, Henrik ; Meier, Andreas ; Schumacher, Michael
Autor(en): Hutter, Dieter ; Klusch, Matthias ; Volkamer, Melanie
Art des Eintrags: Bibliographie
Titel: Information Flow Analysis Based Security Checking of Health Service Composition Plans
Sprache: Englisch
Publikationsjahr: Januar 2006
Buchtitel: Proceedings of the ECEH'06
Band einer Reihe: 91
Veranstaltungsort: Freiburg (Schweiz)
Zugehörige Links:
Kurzbeschreibung (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.

Freie Schlagworte: Security, Usability and Society
ID-Nummer: TUD-CS-2006-0402
Fachbereich(e)/-gebiet(e): LOEWE > LOEWE-Zentren > CASED – Center for Advanced Security Research Darmstadt
20 Fachbereich Informatik > SECUSO - Security, Usability and Society
LOEWE > LOEWE-Zentren
20 Fachbereich Informatik
LOEWE
Hinterlegungsdatum: 28 Jul 2016 18:35
Letzte Änderung: 30 Mai 2018 12:53
PPN:
Zugehörige Links:
Export:
Suche nach Titel in: TUfind oder in Google
Frage zum Eintrag Frage zum Eintrag

Optionen (nur für Redakteure)
Redaktionelle Details anzeigen Redaktionelle Details anzeigen