2 search results - page 1 / 1 » Data Anonymity in the FOO Voting Scheme |
ENTCS
2007
13 years 4 months ago
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 v...
ESORICS
2010
Springer
13 years 5 months ago
2010
Springer
We present a formal, symbolic definition of election verifiability for electronic voting protocols in the context of the applied pi calculus. Our definition is given in terms of bo...