Speaker
Prof.
Vladimir Dimitrov
(University of Sofia)
Description
Software bugs are primary security issues. 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.
Primary author
Prof.
Vladimir Dimitrov
(University of Sofia)
