RQCODE: Security Requirements Formalization with Testing.
Ildar NigmatullinAndrey SadovykhSophie EbersoldNan MessePublished in: ICTSS (2023)
Keyphrases
- security requirements
- development lifecycle
- smart card
- security analysis
- security concerns
- information security
- security policies
- software architecture
- security properties
- access control
- security problems
- security model
- mobile commerce
- security mechanisms
- security patterns
- secure electronic
- covert channel
- requirements engineering
- high level
- software engineering
- relational databases
- real time