๐”– Bobbio Scriptorium
โœฆ   LIBER   โœฆ

Authorization Translation for XML Document Transformation

โœ Scribed by Somchai Chatvichienchai; Mizuho Iwaihara; Yahiko Kambayashi


Book ID
111616914
Publisher
Springer
Year
2004
Tongue
English
Weight
266 KB
Volume
7
Category
Article
ISSN
1386-145X

No coin nor oath required. For personal study only.


๐Ÿ“œ SIMILAR VOLUMES


Securing XML documents with Author-X
โœ Bertino, E.; Castano, S.; Ferrari, E. ๐Ÿ“‚ Article ๐Ÿ“… 2001 ๐Ÿ› IEEE ๐ŸŒ English โš– 518 KB
Typechecking for XML transformers
โœ Tova Milo; Dan Suciu; Victor Vianu ๐Ÿ“‚ Article ๐Ÿ“… 2003 ๐Ÿ› Elsevier Science ๐ŸŒ English โš– 316 KB

We study the typechecking problem for XML (eXtensible Markup Language) transformers: given an XML transformation program and a DTD for the input XML documents, check whether every result of the program conforms to a specified output DTD. We model XML transformers using a novel device called a k-pebb