Webbapplikationer är allestädes närvarande, utför uppdragskritiska uppgifter och hanterar känsliga användardata. Tyvärr är webbapplikationer ofta implementeras av utvecklare med begränsad säkerhetskompetens, och som ett resultat, de innehåller sårbarheter. De flesta av dessa sårbarheter beror på bristen på validering av indata. Det vill säga, webbprogram använder skadliga indata som en del av en känslig operation, utan att ha kontrollerat eller sanerat indatavärden innan de används. Tidigare forskning om sårbarhetsanalys har främst fokuserat på att identifiera fall där en webbapplikation direkt använder extern input i kritiska verksamheter. Men lite forskning har gjorts för att analysera riktigheten i saneringsprocessen. Således, varje gång ett webbprogram tillämpar någon sanitisering rutin för potentiellt skadliga indata, antar sårbarhetsanalysen att resultatet är ofarligt. Tyvärr kanske detta inte är fallet, eftersom saneringsprocessen i sig kan vara felaktig eller ofullständig. I detta dokument presenterar vi ett nytt förhållningssätt till analysen av saneringsprocessen. Mer exakt kombinerar vi statiska och dynamiska analystekniker för att identifiera felaktiga saneringsförfaranden som kan kringgås av en angripare. Vi implementerade vårt tillvägagångssätt i ett verktyg, kallat Saner, och vi tillämpade det på ett antal verkliga tillämpningar. Våra resultat visar att vi kunde identifiera flera nya sårbarheter som härrör från felaktiga saneringsförfaranden.
Balzarotti m.fl. REF presenterar ett tillvägagångssätt med hjälp av statisk och dynamisk analys för att identifiera felaktiga saneringsprocesser (antitisering som en angripare kan kringgå) i webbapplikationer.
Saner: Composing Static and Dynamic Analysis to Validate Sanitization in Web Applications
{'venue': '2008 IEEE Symposium on Security and Privacy (sp 2008)', 'journal': '2008 IEEE Symposium on Security and Privacy (sp 2008)', 'mag_field_of_study': ['Computer Science']}