Webben utgör en komplex infrastruktur och, vilket framgår av många angrepp, är noggrann analys av standarder och webbapplikationer oumbärlig. Inspirerad av framgångsrikt tidigare arbete, särskilt Akhawe et al. Förutom Bansal m.fl. föreslår vi i detta arbete en formell modell för webbinfrastrukturen. Till skillnad från tidigare arbeten, som syftar till automatisk analys, är vår modell hittills inte direkt mottaglig för automatisering, men den är mycket mer omfattande och exakt när det gäller standarder och specifikationer. Som sådan kan det fungera som en solid grund för analysen av ett brett spektrum av standarder och tillämpningar. Som fallstudie och ett annat viktigt bidrag av vårt arbete använder vi vår modell för att genomföra den första rigorösa analysen av BrowserID-systemet (även känt som BrowserID). Mozilla Persona), en nyligen utvecklat komplex real-world single sign-on system som använder tekniker som AJAX, kors-dokumentmeddelanden, och HTML5 webblagring. Vår analys visade ett antal mycket kritiska brister som inte kunde ha fångats i tidigare modeller. Vi föreslår korrigeringar för brister, formellt anger relevanta säkerhetsegenskaper, och bevisar att det fasta systemet i en miljö med en så kallad sekundär identitetsleverantör uppfyller dessa säkerhetsegenskaper i vår modell.
Nyligen utfört arbete av Fett et al. modellerar också en webbläsare som ett övergångssystem REF.
An Expressive Model for the Web Infrastructure: Definition and Application to the Browser ID SSO System
{'venue': '2014 IEEE Symposium on Security and Privacy', 'journal': '2014 IEEE Symposium on Security and Privacy', 'mag_field_of_study': ['Computer Science']}