The authors propose an SDLC taxonomy that refines first-level security properties into design-level sub-properties, and formalize a subset in Event-B to check consistency.
Less is more: supporting developers in vulnerability detection during code review
1 Pith paper cite this work. Polarity classification is still indexing.
1
Pith paper citing it
citation-role summary
background 1
citation-polarity summary
fields
cs.SE 1years
2025 1verdicts
CONDITIONAL 1roles
background 1polarities
background 1representative citing papers
citing papers explorer
-
From What to How: A Taxonomy of Formalized Security Properties
The authors propose an SDLC taxonomy that refines first-level security properties into design-level sub-properties, and formalize a subset in Event-B to check consistency.