Sie sind hier: Startseite Forschung Publikationen


« zurück zur Übersicht

Titel: IF-Net: A Meta-Model for Security-Oriented Process Specification
Publikationstyp: Konferenzbeiträge
Autoren: Stocker T, Böhr F
Erscheinungsjahr: 2013
Herausgeber: Springer Berlin Heidelberg
Journal: Proceedings of the 12th International IEEE Enterprise Distributed Object Computing Conference
Tagung: 9th International Workshop, STM 2013, Egham, UK
Band: 8203
Seiten: 191 - 206
Reihe: Lecture Notes in Computer Science
Kurzfassung: In this paper we propose a new Petri net-based meta-model for the specification of workflows. While existing approaches for workflow modeling typically address the consistency of process models, there is no de-facto standard for models which also comprise security-related aspects. Besides basic workflow properties such as executing subjects and transition guards, the proposed IF-Net approach allows net parts to be annotated with security levels in a way that information flow control mechanisms can be applied. By introducing distinguishable token types, IF-Net allows the modeling of both, the control- and data-flow of a workflow in an intuitive way. Altogether IF-Net allows the specification of workflows in a detailed way and provides a basis for the formal verification of security properties on these specifications.
URL/DOI: http://10.1007/978-3-642-41098-7_13
Benutzerspezifische Werkzeuge