![](/img/cover-not-exists.png)
[ACM Press the 2005 ACM workshop - Fairfax, VA, USA (2005.11.11-2005.11.11)] Proceedings of the 2005 ACM workshop on Formal methods in security engineering - FMSE '05 - Provable anonymity
Garcia, Flavio D., Hasuo, Ichiro, Pieters, Wolter, van Rossum, PeterYear:
2005
Language:
english
DOI:
10.1145/1103576.1103585
File:
PDF, 203 KB
english, 2005