Group principals and the formalization of anonymity (1999)

by Paul Syverson, Stuart Stubblebine
Venue:In World Congress on Formal Methods