http://www2009.eprints.org/57/ Using Static Analysis for Ajax Intrusion Detection We present a static control-flow analysis for JavaScript programs running in a web browser. Our analysis tackles numerous challenges posed by modern web applications including asynchronous communication, frameworks, and dynamic code generation. We use our analysis to extract a model of expected client behavior as seen from the server, and build an intrusion-prevention proxy for the server: the proxy intercepts client requests and disables those that do not meet the expected behavior. We insert random asynchronous requests to foil mimicry attacks. Finally, we evaluate our technique against several real applications and show that it protects against an attack in a widely-used web application. Guha, Arjun Krishnamurthi, Shriram Jim, Trevor Using Static Analysis for Ajax Intrusion Detection 2009-04-06T19:10:07Z Guha, Arjun <http://www2009.eprints.org/view/author/Guha=3AArjun=3A=3A.html> and Krishnamurthi, Shriram <http://www2009.eprints.org/view/author/Krishnamurthi=3AShriram=3A=3A.html> and Jim, Trevor <http://www2009.eprints.org/view/author/Jim=3ATrevor=3A=3A.html> (2009) Using Static Analysis for Ajax Intrusion Detection. In: 18th International World Wide Web Conference, April 20th-24th, 2009, Madrid, Spain. application/pdf