Verifying Workflow Processes against Organization Security Policies.
Carlos RibeiroPaulo GuedesPublished in: WETICE (1999)
Keyphrases
- security policies
- workflow processes
- workflow management systems
- access control
- business processes
- security management
- distributed systems
- network security
- security requirements
- access control systems
- information systems
- access control policies
- event logs
- business process
- ubiquitous computing environments
- model checking
- software development
- virtual organization