« 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
|
Neues Buch: Müller, G.:„Protektion 4.0: Das Digitalisierungsdilemma“
