Vi presenterar en statisk styrflödesanalys för JavaScript-program som körs i en webbläsare. Vår analys tar itu med många utmaningar som moderna webbapplikationer innebär, inklusive asynkron kommunikation, ramverk och dynamisk kodgenerering. Vi använder vår analys för att extrahera en modell av förväntat klientbeteende sett från servern, och bygga en intrångsförebyggande proxy för servern: proxyn avlyssnar klientens önskemål och inaktiverar dem som inte uppfyller det förväntade beteendet. Vi lägger in slumpmässiga asynkrona förfrågningar om folieliknande attacker. Slutligen utvärderar vi vår teknik mot flera riktiga applikationer och visar att den skyddar mot en attack i en allmänt använd webbapplikation.
Kontrollflödesanalys för dynamiska språk har använts för att upptäcka Ajax intrång REF ).
Using static analysis for Ajax intrusion detection
{'venue': "WWW '09", 'journal': None, 'mag_field_of_study': ['Computer Science']}