Nederlands
Contact
Sitemap
Search
OrganisationEEMCS EPrints Service
 |
|
|
||||||||||||||
|
|
|
|
|
||||||||||||
|
|
|
||||||||||||||
|
|
|
|
|
||||||||||||
|
|
2005
Garcia, F.D. and Hasuo, I. and Pieters, W. and van Rossum, P.J.B.
(2005)
Provable anonymity.
In: Proceedings of the 2005 ACM workshop on Formal methods in security engineering, Fairfax, VA, USA.
pp. 63-72.
ACM.
ISBN 1-59593-231-3
|
|
|
||||||||||||
|
|
|
||||||||||||||
|
|
|
|
|
||||||||||||
|
|
|
||||||||||||||