« back to the overview
|
Title: |
IF-Net: A Meta-Model for Security-Oriented Process Specification |
Publication type: |
Conference papers |
Authors: |
Stocker T, Böhr F
|
Year of publication: |
2013 |
Publisher: |
Springer Berlin Heidelberg |
Journal: |
Proceedings of the 12th International IEEE Enterprise Distributed Object Computing Conference |
Conference: |
9th International Workshop, STM 2013, Egham, UK |
Volume: |
8203 |
Pages: |
191 - 206 |
Series: |
Lecture Notes in Computer Science |
Abstract: |
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
|