Abstrakt. Vi föreslår och bevisar ljud en ny, rent dynamisk, flödeskänslig monitor för att säkra informationsflödet på ett tvingande språk som utvidgas med DOM-liknande trädoperationer, som vi kallar Core DOM. I Core DOM, som i DOM API, träd noder behandlas som förstklassiga värden. Vi utnyttjar denna funktion för att implementera en mekanism för informationsflödeskontroll som är finare förankrad än tidigare metoder i litteraturen. Dessutom utökar vi Core DOM med ytterligare konstruktioner för att modellera beteendet hos livesamlingar i DOM Core Level 1 API. Vi visar att denna typ av konstruktion effektivt ökar observationskraften hos en angripare och vi ändrar den föreslagna monitorn för att ta itu med nya former av informationsläckage.
Almeida Matos m.fl. REF presenterar en helt dynamisk informationsflödesövervakare för DOM-liknande trädstrukturer.
An Information Flow Monitor for a Core of DOM Introducing References and Live Primitives
{'venue': 'TGC', 'journal': None, 'mag_field_of_study': ['Computer Science']}