Group Principals and the Formalization of Anonymity (1999)

by P F Syverson, S G Stubblebine
Venue:In: World Congress on Formal Methods, Vol. 1708 of LNCS