Verification of Workflow Authorization Reasonability.
Ouyangyu YuYushu LiuPublished in: Software Engineering Research and Practice (2005)
Keyphrases
- access control
- dynamic access control
- petri net
- petri net model
- fine grained
- model checking
- asynchronous circuits
- business processes
- workflow management systems
- conflict resolution
- role based access control
- artificial intelligence
- security policies
- neural network
- security requirements
- formal verification
- business process
- document management
- role assignment
- data flow
- signature verification
- person identification
- multi agent systems
- workflow execution
- genetic algorithm