Security analysis of cryptographically controlled access to XML documents.

Martn Abadi, Bogdan Warinschi

Browse the full PODS paper archive.