From Secure Business Process Modeling to Design-Level Security Verification.
Qusai RamadanMattia SalnitriDaniel StrüberJan JürjensPaolo GiorginiPublished in: MoDELS (2017)
Keyphrases
- business process modeling
- security level
- high security
- security issues
- design process
- information security
- security requirements
- key management
- security analysis
- security protocols
- cryptographic protocols
- integrity verification
- security measures
- security properties
- modeling language
- business process
- business processes
- key agreement protocol
- high assurance
- case study