Formal Specification and Automatic Analysis of Business Processes Under Authorization Constraints: An Action-Based Approach

Provided by: University of Geneva
Topic: Big Data
Format: PDF
The authors present an approach to the formal specification and automatic analysis of business processes under authorization constraints based on the action language C. The use of C allows for a natural and concise modeling of the business process and the associated security policy and for the automatic analysis of the resulting specification by using the Causal CALCulator (CCALC). Their approach improves upon previous work by greatly simplifying the specification step while retaining the ability to perform a fully automatic analysis.

Find By Topic