A formal model for business process decomposition based on resources consumption with security requirement.
Mohammed Nassim LacheheubRamdane MaamriPublished in: ICAASE (2016)
Keyphrases
- formal model
- business process
- security properties
- business processes
- security patterns
- private cloud
- business rules
- process model
- intrusion detection
- process mining
- business process modeling
- information security
- workflow management systems
- web services
- service level agreements
- workflow model
- ws bpel
- access control
- service oriented architecture
- security requirements
- case study
- event logs
- virtual organization
- business process models
- workflow technology
- security policies
- security issues
- security analysis
- requirements engineering
- risk assessment
- business process management
- network security
- security protocols
- process execution
- information systems