Security Requirements as Code: Example from VeriDevOps Project.
Khaled IsmaeelAlexandr NaumchevAndrey SadovykhDragos TruscanEduard Paul EnoiuCristina SeceleanuPublished in: RE Workshops (2021)
Keyphrases
- security requirements
- requirements engineering
- smart card
- security concerns
- security analysis
- development lifecycle
- access control
- security policies
- security model
- information security
- security properties
- security mechanisms
- security problems
- software architecture
- reference models
- mobile commerce
- project management
- covert channel
- security patterns
- databases
- secure electronic
- security protocols
- source code
- case study
- information systems