swMATH ID: 12039
Software Authors: Halfond W, Orso A
Description: AMNESIA: analysis and monitoring for NEutralizing SQL-injection attacks. The use of web applications has become increasingly popular in our routine activities, such as reading the news, paying bills, and shopping on-line. As the availability of these services grows, we are witnessing an increase in the number and sophistication of attacks that target them. In particular, SQL injection, a class of code-injection attacks in which specially crafted input strings result in illegal queries to a database, has become one of the most serious threats to web applications. In this paper we present and evaluate a new technique for detecting and preventing SQL injection attacks. Our technique uses a model-based approach to detect illegal queries before they are executed on the database. In its static part, the technique uses program analysis to automatically build a model of the legitimate queries that could be generated by the application. In its dynamic part, the technique uses runtime monitoring to inspect the dynamically-generated queries and check them against the statically-built model. We developed a tool, AMNESIA, that implements our technique and used the tool to evaluate the technique on seven web applications. In the evaluation we targeted the subject applications with a large number of both legitimate and malicious inputs and measured how many attacks our technique detected and prevented. The results of the study show that our technique was able to stop all of the attempted attacks without generating any false positives.
Homepage: http://dl.acm.org/citation.cfm?id=1101935
Related Software: Pixy; dk.brics.automaton; PQL; Haskell; TAJ; F4F; PHP; GitHub; Saner; Fable; WAPTEC; Jif; STP; JPF-SE; Kaluza; SusHi; HAMPI; Stranger; Symstra; MySQL
Referenced in: 8 Publications

Referencing Publications by Year