Tracking Information Flow in Dynamic Tree Structures

DOI10.1007/978-3-642-04444-1_6MaRDI QIDQ3182851zbMATH OpenOpenAlexFDO

Authors Alejandro Russo, Andrei Sabelfeld, Andrey Chudnov

Publication date 16 October 2009

Published in Computer Security – ESORICS 2009 (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-642-04444-1_6

zbMATH Keywords

document object modelruntime enforcement mechanism

Mathematics Subject Classification ID

Small world graphs, complex networks (graph-theoretic aspects) (05C82) Communication theory (94A05)

Recommendations

• Multiple facets for dynamic information flow
• Dynamic intransitive noninterference revisited
• A Principled Approach to Tracking Information Flow in the Presence of Libraries
• Information Flow Tracking for Side-Effectful Libraries
• Programming Languages and Systems

Cited in

(5)

• Survey on JavaScript security policies and their enforcement mechanisms in a web browser
• Self-adaptation and secure information flow in multiparty communications
• DOM: Specification and Client Reasoning
• scientific article; zbMATH DE number 2151257 (Why is no real title available?)
• Formal methods for web security

This page was built for publication: Tracking Information Flow in Dynamic Tree Structures

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3182851)