Integrating Security Protocols in Scenario-based Requirements Specifications.
Thorsten KochSascha TrippelStefan DziwokEric BoddenPublished in: MODELSWARD (2022)
Keyphrases
- security protocols
- functional requirements
- automated design
- written in natural language
- requirements engineering
- cryptographic algorithms
- key management
- artificial immune algorithm
- security properties
- security mechanisms
- security services
- security requirements
- formal specification
- software architecture
- cryptographic protocols
- engineering design
- end to end