Verifying Workflow Processes against Organization Security Policies

Authors:
Carlos Ribeiro;Paulo Guedes
Affiliations:
-;-
Venue:
WETICE '99 Proceedings of the 8th Workshop on Enabling Technologies on Infrastructure for Collaborative Enterprises
Year:
1999

Citing 0
Cited 2

Verifying BPEL workflows under authorisation constraints

BPM'06 Proceedings of the 4th international conference on Business Process Management
A systematic review on security in Process-Aware Information Systems - Constitution, challenges, and future directions

Information and Software Technology

Quantified Score

Hi-index	0.00

Visualization

Abstract

Workflow applications for large complex organizations often need to cross several security domains, each with different management and specific security requirements. The resultant cross-dependency between the workflow specification and the security policy of each domain can be hard to manage without specific tools.This work presents a static analyzer that automatically verifies the consistency between workflow specifications written in WPDL (Workflow Process Definition Language) and organization security policies, written in a security language specially designed to express simultaneously several security policies.