Toward Security Verification against Inference Attacks on Data Trees

Ryo Iwase, Yasunori Ishihara, Toru Fujiwara

This paper describes our ongoing work on security verification against inference attacks on data trees. We focus on infinite secrecy against inference attacks, which means that att…