KIT | KIT-Bibliothek | Impressum | Datenschutz

Information Flow Analysis Based Security Checking of Health Service Composition Plans

Hutter, Dieter; Klusch, Matthias; Volkamer, Melanie



Zugehörige Institution(en) am KIT Institut für Angewandte Informatik und Formale Beschreibungsverfahren (AIFB)
Kompetenzzentrum für angewandte Sicherheitstechnologie (KASTEL)
Publikationstyp Proceedingsbeitrag
Jahr 2006
Sprache Englisch
Identifikator ISBN: 978-388579185-0
ISSN: 1617-5468
KITopen-ID: 1000081838
Erschienen in European Conference on eHealth 2006 : proceedings of the ECEH'06; Fribourg, Switzerland, October 12-13, 2006. Eds.: Henrik Stormer, Andreas Meier, Michael Schumacher, Michael
Verlag GI, Bonn
Seiten 59-70
Serie GI-Edition: Proceedings ; 91
Nachgewiesen in Scopus
KIT – Die Forschungsuniversität in der Helmholtz-Gemeinschaft KITopen Landing Page