@Inproceedings{EPTCS134.6, author = {Iwase, Ryo and Ishihara, Yasunori and Fujiwara, Toru}, year = {2013}, title = {Toward Security Verification against Inference Attacks on Data Trees}, editor = {Maneth, Sebastian}, booktitle = {{\rm Proceedings Second International Workshop on} Trends in Tree Automata and Tree Transducers, {\rm Hanoi, Vietnam, 19/10/2013}}, series = {Electronic Proceedings in Theoretical Computer Science}, volume = {134}, publisher = {Open Publishing Association}, pages = {49-59}, doi = {10.4204/EPTCS.134.6}, }