Anwenden struktureller Nicht-Interferenz zur Sicherheitsanalyse von Workflow-Modellen

dc.contributor.author	Accorsi, Rafael
dc.contributor.editor	Heiß, Hans-Ulrich
dc.contributor.editor	Pepper, Peter
dc.contributor.editor	Schlingloff, Holger
dc.contributor.editor	Schneider, Jörg
dc.date.accessioned	2018-11-27T09:59:26Z
dc.date.available	2018-11-27T09:59:26Z
dc.date.issued	2011
dc.identifier.isbn	978-88579-286-4
dc.identifier.issn	1617-5468
dc.identifier.uri	http://dl.gi.de/handle/20.500.12116/18690
dc.description.abstract	Dieser Beitrag definiert die formalen Grundlagen zur Anwendung von struktureller Nicht-Interferenz für die fundierte Petrinetz-basierte Sicherheitsanalyse von industriellen Workflow-Modellen und damit den ursprünglichen Geschäftsprozessen. Der Ansatz wird anhand eines Beispiels für einen eAuction-Workflow veranschaulicht.	de
dc.language.iso	de
dc.publisher	Gesellschaft für Informatik e.V.
dc.relation.ispartof	INFORMATIK 2011 – Informatik schafft Communities
dc.relation.ispartofseries	Lecture Notes in Informatics (LNI) - Proceedings, Volume P-192
dc.title	Anwenden struktureller Nicht-Interferenz zur Sicherheitsanalyse von Workflow-Modellen	de
dc.type	Text/Conference Paper
dc.pubPlace	Bonn
mci.reference.pages	349-349
mci.conference.sessiontitle	Regular Research Papers
mci.conference.location	Berlin
mci.conference.date	4.-7. Oktober 2011