Data Anonymity in the FOO Voting Scheme
Sjouke Mauw, Jan H. S. Verschuren, E.P. de Vink · Electronic Notes in Theoretical Computer Science · 2007
We study one of the many aspects of privacy, which is referred to as data anonymity, in a formal context. Data anonymity expresses whether some piece of observed data, such as a vote, can be attributed to a user, in this case a voter. We validate the formal treatment of data anonymity by analyzing a well-known electronic voting protocol.