Decidability of the Security against Inference Attacks Using a Functional Dependency on XML Databases. - Kenji Hashimoto; Hiroto Kawai; Yasunori Ishihara; Toru Fujiwara (IEICE Trans. Inf. Syst., 2012)