Abstract-Tracking informationsflödet i dynamiska språk är fortfarande ett viktigt och invecklat problem. Detta dokument gör stora framsteg när det gäller att förstå de viktigaste utmaningarna och lösa dem. Vi identifierar språkkonstruktioner som utgör en kärna av JavaScript: objekt, funktioner i högre ordning, undantag och dynamisk kodutvärdering. Kärnan är tillräckligt kraftfull för att naturligt koda infödda konstruktioner som matriser, samt funktioner i JavaScripts API från dokumentobjektmodellen (DOM) relaterad till dokumentträdsmanipulation och händelsebehandling. Som huvudbidrag utvecklar vi ett dynamiskt typsystem som garanterar information-flöde säkerhet för detta språk.
Hedin och Sabelfeld REF presenterar en dynamisk informationsflödesanalys för en kärndelmängd av JavaScript, inklusive funktioner och objekt för högre ordning.
Information-Flow Security for a Core of JavaScript
{'venue': '2012 IEEE 25th Computer Security Foundations Symposium', 'journal': '2012 IEEE 25th Computer Security Foundations Symposium', 'mag_field_of_study': ['Computer Science']}