An Ontology-based Approach for Automatic Specification, Verification, and Validation of Software Security Requirements: Preliminary Results.
Dimitrios TsoukalasMiltiadis G. SiavvasMaria MathioudakiDionisis D. KehagiasPublished in: QRS Companion (2021)
Keyphrases
- security requirements
- formal methods
- software architecture
- development lifecycle
- formal verification
- security properties
- security analysis
- smart card
- requirements engineering
- security concerns
- security mechanisms
- access control
- security patterns
- security model
- information security
- software systems
- reference models
- security problems
- high security
- security policies
- mobile commerce
- formal specification
- software development
- high level
- databases
- protocol specification
- software engineering
- software design
- model checking
- source code
- formal model
- computer systems
- data processing
- distributed systems
- covert channel