Formalization of security patterns as a means to infer security controls in business processes.
Angel Jesus Varela-VacaRafael M. GascaPublished in: Log. J. IGPL (2015)
Keyphrases
- business processes
- business process
- security patterns
- formal model
- web services
- workflow management systems
- process model
- business applications
- business process management
- business objectives
- business process models
- inter organizational
- business environment
- business rules
- real world
- business partners
- workflow processes
- business intelligence
- security properties
- workflow systems
- security requirements
- database systems
- anomaly detection
- lightweight