Model Checking of Security-Sensitive Business Processes.
Alessandro ArmandoSerena Elisa PontaPublished in: Formal Aspects in Security and Trust (2009)
Keyphrases
- business processes
- model checking
- business process
- temporal logic
- formal verification
- formal specification
- temporal properties
- model checker
- automated verification
- web services
- transition systems
- computation tree logic
- symbolic model checking
- inter organizational
- access control
- epistemic logic
- enterprise wide
- formal methods
- process model
- bounded model checking
- business process management
- security policies
- workflow management systems
- business rules
- verification method
- business process models
- information security
- expert systems
- business objectives
- business goals
- business activities
- service oriented architecture