Abstract-Vi föreslår en formell modell för webbsäkerhet baserad på en abstraktion av webbplattformen och använder denna modell för att analysera säkerheten för flera urval webbmekanismer och applikationer. Vi identifierar tre distinkta hotmodeller som kan användas för att analysera webbapplikationer, allt från en webb angripare som kontrollerar skadliga webbplatser och kunder, till starkare angripare som kan styra nätverket och / eller utnyttja webbplatser som är utformade för att visa användartillhandahållet innehåll. Vi föreslår två övergripande säkerhetsmål och studerar fem säkerhetsmekanismer. I våra fallstudier, som inkluderar HTML5-formulär, Referer-validering och en enda inloggningslösning, använder vi ett SAT-baserat modellkontrollverktyg för att hitta två tidigare kända sårbarheter och tre nya sårbarheter. Vår fallstudie av ett Kerberos-baserat sign-on-system illustrerar skillnaderna mellan ett säkert nätverksprotokoll med egen klientprogramvara och ett liknande men sårbart webbprotokoll som använder cookies, omdirigeringar och inbäddade länkar istället.
Akhawe m.fl. föreslog en formell modell för webbsäkerhet och använde denna modell för att identifiera säkerhetssårbarheter REF.
Towards a Formal Foundation of Web Security
{'venue': '2010 23rd IEEE Computer Security Foundations Symposium', 'journal': '2010 23rd IEEE Computer Security Foundations Symposium', 'mag_field_of_study': ['Computer Science']}