Uni-Logo
Sie sind hier: Startseite Research Publications
Artikelaktionen

Publications

« 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
Benutzerspezifische Werkzeuge