Abstract-Ett växande antal aktuella webbplatser kombinerar aktivt innehåll (tillämpningar) från opålitliga källor, som i så kallade mashups. Modellen för objektförmågor ger ett tilltalande tillvägagångssätt för att isolera opålitligt innehåll: om separata applikationer tillhandahålls separata funktioner, bör en sund objektförmågor ram förhindra opålitliga program från att störa varandra, utan att förhindra interaktion med användaren eller värdsidan. Genom att utveckla språkbaserade grunder för isoleringsbevis baserade på koncept för objektförmögenheten identifierar vi en mer allmän uppfattning om myndighetssäkerhet som också innebär resursisolering. Efter att ha bevisat att kapacitetssäkerhet innebär myndighetssäkerhet, visar vi tillämpligheten av vårt ramverk för en viss klass av mashups. Förutom att bevisa att en JavaScript-delmängd baserad på Google Caja är kapacitetssäker, visar vi att en mer uttrycksfull delmängd av JavaScript är auktoritetssäker, även om den inte är baserad på modellen objekt-kapacitet.
Maffeis m.fl. REF formalisera kapacitetssäkerhet, och bevisa en Caja-liknande delmängd av JavaScript kapacitet säker.
Object Capabilities and Isolation of Untrusted Web Applications
{'venue': '2010 IEEE Symposium on Security and Privacy', 'journal': '2010 IEEE Symposium on Security and Privacy', 'mag_field_of_study': ['Computer Science']}