Sciweavers

FM
1999
Springer
93views Formal Methods» more  FM 1999»
13 years 9 months ago
Group Principals and the Formalization of Anonymity
We introduce the concept of a group principal and present a number of different classes of group principals, including threshold-group-principals. These appear to naturally usefu...
Paul F. Syverson, Stuart G. Stubblebine