Security Validation of Business Processes via Model-Checking.
Wihem ArsacLuca CompagnaGiancarlo PellegrinoSerena Elisa PontaPublished in: ESSoS (2011)
Keyphrases
- model checking
- business processes
- business process
- temporal logic
- model checker
- formal verification
- temporal properties
- formal specification
- automated verification
- web services
- symbolic model checking
- enterprise wide
- process model
- information security
- access control
- epistemic logic
- transition systems
- business activities
- formal methods
- security management
- computation tree logic
- business process models
- business process management
- verification method
- workflow management systems
- business rules
- security policies
- business objectives
- business process modeling
- business partners
- bounded model checking
- data mining
- control flow
- artificial intelligence