TY  - RPRT
TI  - An Epistemic Approach to Compositional Reasoning about Anonymity and Privacy
AU  - Yasuyuki Tsukada
AU  - Hideki Sakurada
AU  - Ken Mano
AU  - Yoshifumi Manabe
PY  - 2013
UR  - https://arxiv.org/abs/1310.6441
ID  - 1310.6441
ER  -