A logical framework for reasoning about delegation policies in workflow management systemsReport as inadecuate




A logical framework for reasoning about delegation policies in workflow management systems - Download this document for free, or read online. Document in PDF available to download.

* Corresponding author 1 SCORE - Services and Cooperation Inria Nancy - Grand Est, LORIA - NSS - Department of Networks, Systems and Services 2 CRP Henri Tudor CRP Henri Tudor - Centre de Recherche Public Henri Tudor Headquarters

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.

Keywords : reasoning tools workflow management task delegation access control authorisation policy event calculus business process security reasoning tools.





Author: Khaled Gaaloul - Erik Proper - Ehtesham Zahoor - François Charoy - Claude Godart -

Source: https://hal.archives-ouvertes.fr/



DOWNLOAD PDF




Related documents