Verification of Access Control Policies for REA Business Processes.
Vahid R. KarimiDonald D. CowanPublished in: COMPSAC (2) (2009)
Keyphrases
- business processes
- access control policies
- access control
- conflict resolution
- business process
- distributed environment
- security policies
- fine grained
- process model
- web services
- model checking
- security mechanisms
- formal language
- business process models
- business environment
- workflow management systems
- business process management
- workflow processes
- workflow systems
- service oriented architecture
- security requirements
- business objectives
- business rules
- business process modeling
- information flow