A Formal Technique for Concurrent Generation of Software's Functional and Security Requirements in SOFL Specifications.
Busalire Onesmus EmekaShaoying LiuPublished in: SOFL+MSVL (2019)
Keyphrases
- security requirements
- requirements specification
- requirements engineering
- software architecture
- development lifecycle
- security analysis
- security properties
- software requirements
- smart card
- information security
- security patterns
- formal methods
- access control
- formal specification
- security model
- security mechanisms
- security concerns
- reactive systems
- security problems
- written in natural language
- software systems
- mobile commerce
- security policies
- reference models
- software design
- formal model
- high level
- control flow
- software development
- software engineering
- secure electronic
- embedded systems
- case study