Model checking authorization requirements in business processes.
Alessandro ArmandoSerena Elisa PontaPublished in: Comput. Secur. (2014)
Keyphrases
- model checking
- business processes
- business process
- temporal logic
- workflow systems
- process management
- access control
- model checker
- web services
- formal verification
- temporal properties
- formal specification
- automated verification
- business process models
- verification method
- process model
- symbolic model checking
- business activities
- epistemic logic
- computation tree logic
- business process management
- formal methods
- business environment
- workflow management systems
- business rules
- bounded model checking
- security policies
- transition systems
- description language
- service oriented architecture
- artificial intelligence
- workflow management
- conflict resolution
- business partners
- modal logic
- software systems