Issue No.03 - May/June (2012 vol.9)
Matt Bishop , University of California, Davis, Davis
Sophie Engle , University of San Francisco, San Francisco
Damien Howard , Northwestern University School of Law, Chicago
Sean Whalen , University of California, Davis, Davis and Lawrence Berkeley National Laboratory, Berkeley
DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/TDSC.2012.10
Significant work on vulnerabilities focuses on buffer overflows, in which data exceeding the bounds of an array is loaded into the array. The loading continues past the array boundary, causing variables and state information located adjacent to the array to change. As the process is not programmed to check for these additional changes, the process acts incorrectly. The incorrect action often places the system in a nonsecure state. This work develops a taxonomy of buffer overflow vulnerabilities based upon characteristics, or preconditions that must hold for an exploitable buffer overflow to exist. We analyze several software and hardware countermeasures to validate the approach. We then discuss alternate approaches to ameliorating this vulnerability.
Protection mechanisms, software/program verification, security and privacy, arrays.
Matt Bishop, Sophie Engle, Damien Howard, Sean Whalen, "A Taxonomy of Buffer Overflow Characteristics", IEEE Transactions on Dependable and Secure Computing, vol.9, no. 3, pp. 305-317, May/June 2012, doi:10.1109/TDSC.2012.10