Data Anonymity in the FOO Voting Scheme

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.

• Type: Journal
• Year: 2007
• Where: ENTCS
• Authors: Sjouke Mauw, Jan Verschuren, Erik P. de Vink
• Keywords: Data Anonymity, ENTCS 2007, Formal Context, Well-known Electronic Voting