Logo des Repositoriums
 

Information flow analysis based security checking of health service composition plans

dc.contributor.authorHutter, Dieter
dc.contributor.authorKlusch, Matthias
dc.contributor.authorVolkame, Melanie
dc.contributor.editorStormer, Henrik
dc.contributor.editorMeier, Andreas
dc.contributor.editorSchumacher, Michael
dc.date.accessioned2019-07-11T11:29:00Z
dc.date.available2019-07-11T11:29:00Z
dc.date.issued2006
dc.description.abstractIn 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.en
dc.identifier.isbn978-3-88579-185-0
dc.identifier.pissn1617-5468
dc.identifier.urihttps://dl.gi.de/handle/20.500.12116/24007
dc.language.isoen
dc.publisherGesellschaft für Informatik e.V.
dc.relation.ispartofEuropean Conference on eHealth 2006
dc.relation.ispartofseriesLecture Notes in Informatics (LNI) - Proceedings, Volume P-91
dc.titleInformation flow analysis based security checking of health service composition plansen
dc.typeText/Conference Paper
gi.citation.endPage70
gi.citation.publisherPlaceBonn
gi.citation.startPage59
gi.conference.dateOctober 12-13, 2006
gi.conference.locationFribourg, Switzerland
gi.conference.sessiontitleRegular Research Papers

Dateien

Originalbündel
1 - 1 von 1
Lade...
Vorschaubild
Name:
GI-Proceedings-91-6.pdf
Größe:
754.64 KB
Format:
Adobe Portable Document Format