A logical framework for reasoning about delegation policies in workflow management systems.
Khaled GaaloulHenderik Alex ProperEhtesham ZahoorFrançois CharoyClaude GodartPublished in: Int. J. Inf. Comput. Secur. (2011)
Keyphrases
- logical framework
- workflow management systems
- business processes
- role based access control
- inference rules
- workflow management
- access control policies
- business process
- access control
- belief revision
- optimal policy
- reasoning tasks
- mobile agents
- process model
- conflict resolution
- virtual enterprise
- workflow systems
- security policies
- access control systems
- workflow processes
- multi domain
- argumentation frameworks
- workflow execution
- dynamic programming
- case study