Information flow analysis based security checking of health service composition plans
dc.contributor.author | Hutter, Dieter | |
dc.contributor.author | Klusch, Matthias | |
dc.contributor.author | Volkame, Melanie | |
dc.contributor.editor | Stormer, Henrik | |
dc.contributor.editor | Meier, Andreas | |
dc.contributor.editor | Schumacher, Michael | |
dc.date.accessioned | 2019-07-11T11:29:00Z | |
dc.date.available | 2019-07-11T11:29:00Z | |
dc.date.issued | 2006 | |
dc.description.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, 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.isbn | 978-3-88579-185-0 | |
dc.identifier.pissn | 1617-5468 | |
dc.identifier.uri | https://dl.gi.de/handle/20.500.12116/24007 | |
dc.language.iso | en | |
dc.publisher | Gesellschaft für Informatik e.V. | |
dc.relation.ispartof | European Conference on eHealth 2006 | |
dc.relation.ispartofseries | Lecture Notes in Informatics (LNI) - Proceedings, Volume P-91 | |
dc.title | Information flow analysis based security checking of health service composition plans | en |
dc.type | Text/Conference Paper | |
gi.citation.endPage | 70 | |
gi.citation.publisherPlace | Bonn | |
gi.citation.startPage | 59 | |
gi.conference.date | October 12-13, 2006 | |
gi.conference.location | Fribourg, Switzerland | |
gi.conference.sessiontitle | Regular Research Papers |
Dateien
Originalbündel
1 - 1 von 1
Lade...
- Name:
- GI-Proceedings-91-6.pdf
- Größe:
- 754.64 KB
- Format:
- Adobe Portable Document Format