A Formal Model for an Expressive Fragment of XSLT.

Geert Jan Bex Sebastian Maneth Frank Neven

Published in: Computational Logic (2000)

Keyphrases

formal model
xml keys
xml data
markup language
formal models
security properties
xml documents
predicate calculus
low cost
general purpose
goal oriented
security patterns