Abstrakt. Cross-Site Request Forgery (CSRF) listas i topp tio listan över Open Web Application Security Project (OWASP) som ett av de mest kritiska hoten mot webbsäkerhet. Ett antal skyddsmekanismer mot CSRF finns, men en angripare kan ofta utnyttja komplexiteten i moderna webbapplikationer för att kringgå dessa skydd genom att missbruka andra brister. Vi presenterar en formell modellbaserad teknik för automatisk upptäckt av CSRF. Vi beskriver hur en webbapplikation ska specificeras för att underlätta presentationen av CSRF-relaterade sårbarheter. Vi använder en inkräktarmodell,à la Dolev-Yao, och diskuterar hur CSRF-attacker kan bli resultatet av interaktionen mellan inkräktaren och de kryptografiska protokoll som ligger till grund för webbapplikationen. Vi visar effektiviteten och användbarheten av vår teknik med tre verkliga fallstudier.
I REF, Rocchetto et al. modell webbapplikationer för att söka efter CSRF attacker.
Model-Based Detection of CSRF
{'venue': 'SEC', 'journal': None, 'mag_field_of_study': ['Computer Science']}