A Static Analysis Using Tree Automata for XML Access Control.

Isao Yagi, Yoshiaki Takata, Hiroyuki Seki

Browse the full ATVA paper archive.