TY - RPRT TI - Toward Security Verification against Inference Attacks on Data Trees AU - Ryo Iwase AU - Yasunori Ishihara AU - Toru Fujiwara PY - 2013 DO - 10.4204/eptcs.134.6 UR - https://arxiv.org/abs/1312.4833 ID - 1312.4833 ER -