Static information fow analysis of workflow models
| dc.contributor.author | Accorsi, Rafael | |
| dc.contributor.author | Wonnemann, Claus | |
| dc.contributor.editor | Abramowicz, Witold | |
| dc.contributor.editor | Alt, Rainer | |
| dc.contributor.editor | Fähnrich, Klaus-Peter | |
| dc.contributor.editor | Franczyk, Bogdan | |
| dc.contributor.editor | Maciaszek, Leszek A. | |
| dc.date.accessioned | 2019-01-11T10:04:53Z | |
| dc.date.available | 2019-01-11T10:04:53Z | |
| dc.date.issued | 2010 | |
| dc.description.abstract | 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. | en |
| dc.identifier.isbn | 978-3-88579-271-0 | |
| dc.identifier.pissn | 1617-5468 | |
| dc.identifier.uri | https://dl.gi.de/handle/20.500.12116/19093 | |
| dc.language.iso | en | |
| dc.publisher | Gesellschaft für Informatik e.V. | |
| dc.relation.ispartof | INFORMATIK 2010 – Business Process and Service Science – Proceedings of ISSS and BPSC | |
| dc.relation.ispartofseries | Lecture Notes in Informatics (LNI) - Proceedings, Volume P-177 | |
| dc.title | Static information fow analysis of workflow models | en |
| dc.type | Text/Conference Paper | |
| gi.citation.endPage | 205 | |
| gi.citation.publisherPlace | Bonn | |
| gi.citation.startPage | 194 | |
| gi.conference.date | September 27 - October 1, 2010 | |
| gi.conference.location | Leipzig | |
| gi.conference.sessiontitle | Regular Research Papers |
Dateien
Originalbündel
1 - 1 von 1