Martín Abadi Bogdan Warinschi Security analysis of cryptographically controlled access to XML documents. 2008 55 J. ACM 2 http://doi.acm.org/10.1145/1346330.1346331 db/journals/jacm/jacm55.html#AbadiW08