JavaScript har blivit en central teknik för webben, men det är också källan till många säkerhetsproblem, inklusive skriptattacker och skadlig reklam kod. Centralt för dessa problem är det faktum att kod från opålitliga källor körs med fulla privilegier. Vi genomför informationsflöde kontroller i Firefox för att hjälpa till att förhindra brott mot datasekretess och integritet. De flesta tidigare informationsflödestekniker har främst förlitat sig på antingen statiska typsystem, som är dåligt lämpade för JavaScript, eller på dynamiska analyser som ibland fastnar på grund av problematiska implicita flöden, även i situationer där mål webbapplikationen korrekt uppfyller den önskade säkerhetspolicyn. Vi inför facetterade värden, en ny mekanism för att tillhandahålla informationssäkerhet på ett dynamiskt sätt som övervinner dessa begränsningar. Med inspiration från säker multi-exekvering, använder vi fasetterade värden för att samtidigt och effektivt simulera flera utföranden för olika säkerhetsnivåer, vilket ger non-interference med minimal overhead, och utan att förlita sig på fastade utföranden av tidigare dynamiska metoder.
REF använder "facetterade värden" för att optimera små och medelstora företag.
Multiple facets for dynamic information flow
{'venue': "POPL '12", 'journal': None, 'mag_field_of_study': ['Computer Science']}