An Epistemic Approach to Compositional Reasoning about Anonymity and
Privacy

An Epistemic Approach to Compositional Reasoning about Anonymity and Privacy

24 October 2013

Yasuyuki Tsukada

Hideki Sakurada

Yoshifumi Manabe

ArXiv (abs)PDF HTML

Papers citing "An Epistemic Approach to Compositional Reasoning about Anonymity and Privacy"

Title
No papers