Information flow analysis based security checking of health service composition plans

Zusammenfassung
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.
  • Vollständige Referenz
  • BibTeX
Hutter, D., Klusch, M. & Volkame, M., (2006). Information flow analysis based security checking of health service composition plans. In: Stormer, H., Meier, A. & Schumacher, M. (Hrsg.), European Conference on eHealth 2006. Bonn: Gesellschaft für Informatik e.V.. (S. 59-70).
@inproceedings{mci/Hutter2006,
author = {Hutter, Dieter AND Klusch, Matthias AND Volkame, Melanie},
title = {Information flow analysis based security checking of health service composition plans},
booktitle = {European Conference on eHealth 2006},
year = {2006},
editor = {Stormer, Henrik AND Meier, Andreas AND Schumacher, Michael} ,
pages = { 59-70 },
publisher = {Gesellschaft für Informatik e.V.},
address = {Bonn}
}
DateienGroesseFormatAnzeige
GI-Proceedings-91-6.pdf754.6Kb PDF Öffnen

Haben Sie fehlerhafte Angaben entdeckt? Sagen Sie uns Bescheid: Feedback abschicken

Mehr Information

ISBN: 978-3-88579-185-0
ISSN: 1617-5468
Datum: 2006
Sprache: en (en)
Typ: Text/Conference Paper
Sammlungen

Zur Langanzeige