Quotation Baumgraß, Anne, Baier, Thomas, Mendling, Jan, Strembeck, Mark. 2011. Conformance Checking of RBAC Policies in Process-Aware Information Systems. In BPM 2011 Workshops, Part II, LNBIP 100, Hrsg. Farouk Toumani, Karsten Wolf, Stefanie Rinderle-Ma, 435-446. Clermont-Ferrand, France: Springer Verlag.


RIS


BibTeX

Abstract

A process-aware information system (PAIS) is a software system that supports the definition, execution, and analysis of business processes. The execution of process instances is typically recorded in so called event logs. In this paper, we present an approach to automatically generate LTL (Linear Temporal Logic) statements from process-related RBAC (Role-based Access Control) models. These LTL statements are used to check if process executions that are recorded via event logs conform to the access control policies defined via a corresponding RBAC model. To demonstrate our approach, we implemented a RBAC-to-LTL component, and used the ProM tool to test the resulting LTL statements with event logs created from process simulations in CPN tools.

Tags

Press 'enter' for creating the tag

Publication's profile

Status of publication Published
Affiliation WU
Type of publication Contribution to conference proceedings
Language English
Title Conformance Checking of RBAC Policies in Process-Aware Information Systems
Title of whole publication BPM 2011 Workshops, Part II, LNBIP 100
Editor Farouk Toumani, Karsten Wolf, Stefanie Rinderle-Ma
Page from 435
Page to 446
Location Clermont-Ferrand, France
Publisher Springer Verlag
Year 2011

Associations

People
Baumgraß, Anne (Former researcher)
Mendling, Jan (Details)
Strembeck, Mark (Details)
External
Baier, Thomas (Humboldt-Universität zu Berlin, Germany)
Organization
Information Systems and Operations DP (Details)
Information Systems and New Media IN (Details)
Google Scholar: Search