Group principals and the formalization of anonymity (1999)

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