Data anonymity in the FOO voting scheme

S. Mauw; J.H.S. Verschuren; E.P. Vink, de

doi:10.1016/j.entcs.2006.11.001

Data anonymity in the FOO voting scheme

S. Mauw, J.H.S. Verschuren, E.P. Vink, de

Formal System Analysis

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

21 Citations (Scopus)

Abstract

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.

Original language	English
Title of host publication	Proceedings of the Second International Workshop on Views on Designing Complex Architectures (VODCA 2006) 16-17 September 2006, Bertinoro, Italy
Editors	M. Beek, ter, F. Gadducci
Pages	5-28
DOIs	https://doi.org/10.1016/j.entcs.2006.11.001
Publication status	Published - 2007
Event	conference; VODCA 2006, Bertinoro, Italy; 2006-11-16; 2006-11-17 - Duration: 16 Nov 2006 → 17 Nov 2006

Publication series

Name	Electronic Notes in Theoretical Computer Science
Volume	168
ISSN (Print)	1571-0061

Conference

Conference	conference; VODCA 2006, Bertinoro, Italy; 2006-11-16; 2006-11-17
Period	16/11/06 → 17/11/06
Other	VODCA 2006, Bertinoro, Italy

Access to Document

10.1016/j.entcs.2006.11.001

Cite this

Mauw, S., Verschuren, J. H. S., & Vink, de, E. P. (2007). Data anonymity in the FOO voting scheme. In M. Beek, ter, & F. Gadducci (Eds.), Proceedings of the Second International Workshop on Views on Designing Complex Architectures (VODCA 2006) 16-17 September 2006, Bertinoro, Italy (pp. 5-28). (Electronic Notes in Theoretical Computer Science; Vol. 168). https://doi.org/10.1016/j.entcs.2006.11.001

@inproceedings{9257a0c5f60941de9002a4c646b2bbd2,

title = "Data anonymity in the FOO voting scheme",

abstract = "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.",

author = "S. Mauw and J.H.S. Verschuren and {Vink, de}, E.P.",

year = "2007",

doi = "10.1016/j.entcs.2006.11.001",

language = "English",

series = "Electronic Notes in Theoretical Computer Science",

pages = "5--28",

editor = "{Beek, ter}, M. and F. Gadducci",

booktitle = "Proceedings of the Second International Workshop on Views on Designing Complex Architectures (VODCA 2006) 16-17 September 2006, Bertinoro, Italy",

note = "conference; VODCA 2006, Bertinoro, Italy; 2006-11-16; 2006-11-17 ; Conference date: 16-11-2006 Through 17-11-2006",

}

Mauw, S, Verschuren, JHS & Vink, de, EP 2007, Data anonymity in the FOO voting scheme. in M Beek, ter & F Gadducci (eds), Proceedings of the Second International Workshop on Views on Designing Complex Architectures (VODCA 2006) 16-17 September 2006, Bertinoro, Italy. Electronic Notes in Theoretical Computer Science, vol. 168, pp. 5-28, conference; VODCA 2006, Bertinoro, Italy; 2006-11-16; 2006-11-17, 16/11/06. https://doi.org/10.1016/j.entcs.2006.11.001

Data anonymity in the FOO voting scheme. / Mauw, S.; Verschuren, J.H.S.; Vink, de, E.P.
Proceedings of the Second International Workshop on Views on Designing Complex Architectures (VODCA 2006) 16-17 September 2006, Bertinoro, Italy. ed. / M. Beek, ter; F. Gadducci. 2007. p. 5-28 (Electronic Notes in Theoretical Computer Science; Vol. 168).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

TY - GEN

T1 - Data anonymity in the FOO voting scheme

AU - Mauw, S.

AU - Verschuren, J.H.S.

AU - Vink, de, E.P.

PY - 2007

Y1 - 2007

N2 - 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.

AB - 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.

U2 - 10.1016/j.entcs.2006.11.001

DO - 10.1016/j.entcs.2006.11.001

M3 - Conference contribution

T3 - Electronic Notes in Theoretical Computer Science

SP - 5

EP - 28

BT - Proceedings of the Second International Workshop on Views on Designing Complex Architectures (VODCA 2006) 16-17 September 2006, Bertinoro, Italy

A2 - Beek, ter, M.

A2 - Gadducci, F.

T2 - conference; VODCA 2006, Bertinoro, Italy; 2006-11-16; 2006-11-17

Y2 - 16 November 2006 through 17 November 2006

ER -

Data anonymity in the FOO voting scheme

Abstract

Publication series

Conference

Access to Document

Fingerprint

Cite this