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: | |
| Export: | |
| Suche nach Titel in: | TUfind oder in Google |
 |
Frage zum Eintrag |
Optionen (nur für Redakteure)
 |
Redaktionelle Details anzeigen |
Drucken
Impressum