Toward Formalization of Software Security Issues
2016
Semantic templates and Software fault patterns are overviewed as tools for software bugs specification tools. Further research on the topic is discussed. Software weaknesses are described in formatted text. There is no widely accepted formal notation for that purpose. This paper shows how Z-notation can be used for formal specification of CWE-119.
Keywords:
- Software requirements specification
- Social software engineering
- Software construction
- Systems engineering
- Software engineering
- Software peer review
- Formal methods
- Backporting
- Formal specification
- Package development process
- Computer science
- Software verification and validation
- Programming language
- Software security assurance
- Software development
- Correction
- Source
- Cite
- Save
- Machine Reading By IdeaReader
0
References
1
Citations
NaN
KQI