| 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.identifier.isbn | 978-3-88579-185-0 | |
| dc.identifier.issn | 1617-5468 | |
| dc.identifier.uri | http://dl.gi.de/handle/20.500.12116/24007 | |
| 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.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 | |
| dc.pubPlace | Bonn | |
| mci.reference.pages | 59-70 | |
| mci.conference.sessiontitle | Regular Research Papers | |
| mci.conference.location | Fribourg, Switzerland | |
| mci.conference.date | October 12-13, 2006 | |
