and Pasquale Malacaria: Quantifying Maximal Loss of Anonymity in Protocols (2009)

by Han Chen
Venue:In Proc. ACM Symposium on Information, Computer and Communications Security