A Taxonomy of Buffer Overflow Characteristics

作者：Bishop Matt^*; Engle Sophie; Howard Damien; Whalen Sean

来源：IEEE Transactions on Dependable and Secure Computing, 2012, 9(3): 305-317.

DOI：10.1109/TDSC.2012.10

• Protection mechanisms
• software/program verification
• security and privacy
• arrays

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.

• 出版日期2012-6