Abstract-Web program är ett stort mål för angripare. Den ökande komplexiteten i sådana program och subtiliteten i dagens attacker gör det mycket svårt för utvecklare att manuellt säkra sina webbapplikationer. Penetrationstest anses vara en konst; framgången för en penetrationstestare att upptäcka sårbarheter beror främst på hans färdigheter. På senare tid har modellkontrollanter som ägnar sig åt säkerhetsanalys visat sin förmåga att identifiera komplexa attacker mot webbaserade säkerhetsprotokoll. Det är dock fortfarande en öppen fråga att överbrygga gapet mellan en abstrakt attack track output av en modell-checker och ett penetrationstest på den verkliga webbapplikationen. Här presenterar vi en metodik för att testa webbapplikationer från en säker modell. Först muterar vi modellen för att införa specifika sårbarheter som finns i webbapplikationer. Sedan, en modell-checker utgångar attackera spår som utnyttjar dessa sårbarheter. Därefter översätts anfallsspåren till konkreta testfall med hjälp av en tvåstegskartläggning. Slutligen utförs testerna på det verkliga systemet med hjälp av ett automatiskt förfarande som kan begära hjälp av en testexpert då och då. En prototyp har implementerats och utvärderats på WebGoat, en osäker webbapplikation som upprätthålls av OWASP. Den lyckades reproducera Role-Based Access Control (RBAC) och Cross-Site Scripting (XSS) attacker.
I REF, Büchler et al. presenterade SPaCiTE, ett modellbaserat säkerhetstestverktyg som utgår från en säker (ASLan++) specifikation av en webbapplikation och, genom att mutera specifikationen, automatiskt introducerar säkerhetsbrister.
Semi-Automatic Security Testing of Web Applications from a Secure Model
{'venue': '2012 IEEE Sixth International Conference on Software Security and Reliability', 'journal': '2012 IEEE Sixth International Conference on Software Security and Reliability', 'mag_field_of_study': ['Computer Science']}