A system for securing push-based distribution of XML documents