Makoto Murata Akihiko Tozawa Michiharu Kudo Satoshi Hada XML access control using static analysis. 292-324 2006 9 ACM Trans. Inf. Syst. Secur. 3 http://doi.acm.org/10.1145/1178618.1178621 db/journals/tissec/tissec9.html#MurataTKH06