A Formal Model of the Safely Composable Document Object Model with Shadow Roots.

Achim D. Brucker Michael Herzberg

Published in: Arch. Formal Proofs (2020)

Keyphrases

formal model
document object model
website
xml documents
data types
markup language
building blocks
database
formal models
web pages
database systems
xml data
security patterns