Quantifying maximal loss of anonymity in protocols (2009)

by H Chen, P Malacaria
Venue:In ACM Symposium on Information, Computer and Communications Security