2003 · 232 citations · 16 references
ComputingComputer ScienceInformation TechnologyComputer SecurityRequirements EngineeringSecure Software DevelopmentRequirements AnalysisSecure Requirements EngineeringSecurity RequirementsSoftware Security EngineeringSystem SecurityBuffer Overflow AttacksBuffer Overflow PreventionPrivacy RequirementsRequirements Engineering For Secure SystemsSecurity Requirements AnalysisSecurity Requirements ElicitationSecurity Requirements ModelingSecurity Requirements Specification
The size and complexity of software systems is growing, increasing the number of bugs. Many of these bugs constitute security vulnerabilities. Most common of these bugs is the buffer overflow vulnerability. In this paper we implement a testbed of 20 different buffer overflow attacks, and use it to compare four publicly available tools for dynamic intrusion prevention aiming to stop buffer overflows. The tools are compared empirically and theoretically. The best tool is effective against only 50% of the attacks and there are six attack forms which none of the tools can handle.
16
Intrusion detection via static analysis
David Wagner, Ralph A. Dean · 2002 · 650 citations
Trevor Jim, J. Greg Morrisett, Dan Grossman et al. · 2002 · 618 citations
George C. Necula, Scott McPeak, Westley Weimer · ACM SIGPLAN Notices · 2012 · 511 citations