Logo des Repositoriums
 
Konferenzbeitrag

Static information fow analysis of workflow models

Lade...
Vorschaubild

Volltext URI

Dokumententyp

Text/Conference Paper

Zusatzinformation

Datum

2010

Zeitschriftentitel

ISSN der Zeitschrift

Bandtitel

Verlag

Gesellschaft für Informatik e.V.

Zusammenfassung

This 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.

Beschreibung

Accorsi, Rafael; Wonnemann, Claus (2010): Static information fow analysis of workflow models. INFORMATIK 2010 – Business Process and Service Science – Proceedings of ISSS and BPSC. Bonn: Gesellschaft für Informatik e.V.. PISSN: 1617-5468. ISBN: 978-3-88579-271-0. pp. 194-205. Regular Research Papers. Leipzig. September 27 - October 1, 2010

Schlagwörter

Zitierform

DOI

Tags