Formal Verification of Business Workflows and Role Based Access Control Systems.
Arnaud DurySergiy BorodayAlexandre PetrenkoVolkmar LotzPublished in: SECURWARE (2007)
Keyphrases
- access control systems
- formal verification
- business processes
- business process
- model checking
- security policies
- access control
- model checker
- access control policies
- automated verification
- workflow management
- symbolic model checking
- inter organizational
- bounded model checking
- access rights
- workflow management systems
- web services
- information systems
- temporal logic
- virtual enterprise
- data mining
- network security
- data processing
- security requirements
- information flow
- information sharing
- knowledge management