Anwenden struktureller Nicht-Interferenz zur Sicherheitsanalyse von Workflow-Modellen

Zusammenfassung
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.
  • Vollständige Referenz
  • BibTeX
Accorsi, R., (2011). Anwenden struktureller Nicht-Interferenz zur Sicherheitsanalyse von Workflow-Modellen. In: Heiß, H.-U., Pepper, P., Schlingloff, H. & Schneider, J. (Hrsg.), INFORMATIK 2011 – Informatik schafft Communities. Bonn: Gesellschaft für Informatik e.V.. (S. 349-349).
@inproceedings{mci/Accorsi2011,
author = {Accorsi, Rafael},
title = {Anwenden struktureller Nicht-Interferenz zur Sicherheitsanalyse von Workflow-Modellen},
booktitle = {INFORMATIK 2011 – Informatik schafft Communities},
year = {2011},
editor = {Heiß, Hans-Ulrich AND Pepper, Peter AND Schlingloff, Holger AND Schneider, Jörg} ,
pages = { 349-349 },
publisher = {Gesellschaft für Informatik e.V.},
address = {Bonn}
}
DateienGroesseFormatAnzeige
349.pdf29.42Kb PDF Öffnen

Haben Sie fehlerhafte Angaben entdeckt? Sagen Sie uns Bescheid: Feedback abschicken

Mehr Information

ISBN: 978-88579-286-4
ISSN: 1617-5468
Datum: 2011
Sprache: de (de)
Typ: Text/Conference Paper
Sammlungen

Zur Langanzeige