A logical framework for reasoning about delegation policies in workflow management systems - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Journal Articles International Journal of Information and Computer Security Year : 2011

A logical framework for reasoning about delegation policies in workflow management systems

Erik H.A. Proper
  • Function : Author
Ehtesham Zahoor
  • Function : Author
  • PersonId : 855182
François Charoy
Claude Godart
  • Function : Author
  • PersonId : 830462

Abstract

Task delegation presents one of the business process security leitmotifs. It defines a mechanism that bridges the gap between workflow and access control systems. Delegation completion and authorisation enforcement are specified under specific constraints so-called events. In this article, we aim to reason about delegation events to model task delegation and to specify delegation policies using a logical framework. To that end, we propose an event-based task delegation model to control the delegation execution. We then identify relevant events responsible for the dynamic enforcement of delegation policies. Further, we define a task-oriented access control model to specify delegation constraints into authorisation policies. Finally, we propose a technique to automate the delegation policies integration. Using event calculus, we develop a reasoning tool to control the delegation execution and to increase the compliance of all delegation changes in the existing policy of the workflow.
Fichier principal
Vignette du fichier
IJICS040405_GAALOUL.pdf (691.31 Ko) Télécharger le fichier
Origin : Files produced by the author(s)
Loading...

Dates and versions

hal-00677854 , version 1 (13-09-2012)

Identifiers

Cite

Khaled Gaaloul, Erik H.A. Proper, Ehtesham Zahoor, François Charoy, Claude Godart. A logical framework for reasoning about delegation policies in workflow management systems. International Journal of Information and Computer Security, 2011, 4 (4), pp.365-388. ⟨10.1504/IJICS.2011.044825⟩. ⟨hal-00677854⟩
303 View
314 Download

Altmetric

Share

Gmail Facebook X LinkedIn More