@article{Bishop2012,
abstract = {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 non-secure 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.},
author = {Bishop, Matt and Howard, Damien and Engle, Sophie and Whalen, Sean},
journal = {IEEE Transactions on Dependable and Secure Computing},
number = {99},
title = {{A Taxonomy of Buffer Overflow Characteristics}},
volume = {PP},
year = {2012}
}