Survey on JavaScript security policies and their enforcement mechanisms in a web browser

DOI10.1016/j.jlap.2013.05.001zbMath1283.68063OpenAlexW2119588373MaRDI QIDQ2436507

Nataliia Bielova

Publication date: 25 February 2014

Published in: The Journal of Logic and Algebraic Programming (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.jlap.2013.05.001

zbMATH Keywords

JavaScriptweb script security

Mathematics Subject Classification ID

Internet topics (68M11)

Related Items (3)

Bidirectional Runtime Enforcement of First-Order Branching-Time Properties ⋮ Unnamed Item ⋮ Formal methods for web security

Uses Software

• JavaScript
• FlowFox
• Narcissus
• GATEKEEPER
• Zaphod
• Gulfstream
• Mashic
• ConScript
• SessionShield
• ADsafety
• AdJail

Cites Work

• A type system for robust declassification
• Multiple facets for dynamic information flow
• Tracking Information Flow in Dynamic Tree Structures
• JavaScript instrumentation for browser security
• Certification of programs for secure information flow
• On flow-sensitive security types
• Programming Languages and Systems

This page was built for publication: Survey on JavaScript security policies and their enforcement mechanisms in a web browser