Show simple item record

dc.contributor.authorAccorsi, Rafael
dc.contributor.authorWonnemann, Claus
dc.contributor.editorAbramowicz, Witold
dc.contributor.editorAlt, Rainer
dc.contributor.editorFähnrich, Klaus-Peter
dc.contributor.editorFranczyk, Bogdan
dc.contributor.editorMaciaszek, Leszek A.
dc.date.accessioned2019-01-11T10:04:53Z
dc.date.available2019-01-11T10:04:53Z
dc.date.issued2010
dc.identifier.isbn978-3-88579-271-0
dc.identifier.issn1617-5468
dc.identifier.urihttp://dl.gi.de/handle/20.500.12116/19093
dc.description.abstractThis paper proposes a framework for the detection of information leaks in workflow descriptions based on static information flow analysis. Despite the correct deployment of access control mechanisms, certain information leaks can persist, thereby undermining the compliance of workflows to policies. The framework put forward in this paper identifies leaks induced by the structure of the workflow. It consists of an adequate meta-model for workflow representation based on Petri nets and corresponding components for the transformation and analysis. A case study illustrates the application of the framework on a concrete workflow in BPEL notation.en
dc.language.isoen
dc.publisherGesellschaft für Informatik e.V.
dc.relation.ispartofINFORMATIK 2010 – Business Process and Service Science – Proceedings of ISSS and BPSC
dc.relation.ispartofseriesLecture Notes in Informatics (LNI) - Proceedings, Volume P-177
dc.titleStatic information fow analysis of workflow modelsen
dc.typeText/Conference Paper
dc.pubPlaceBonn
mci.reference.pages194-205
mci.conference.sessiontitleRegular Research Papers
mci.conference.locationLeipzig
mci.conference.dateSeptember 27 - October 1, 2010


Files in this item

Thumbnail

Show simple item record