This paper presents an information-theoretic model of a voting system, consisting of (a) definitions of the desirable qualities of integrity, privacy and verifiability, and (b) quantitative measures of how close a system is to being perfect with respect to each of the qualities. It describes the well-known trade-off between integrity and privacy in this model, and defines a concept of weak privacy, which is traded off with system verifiability. This paper is a simultaneous submission to VSRW06 and WOTE06. The simultaneous submission has been approved by representatives from both Program Committees, as neither meeting will have printed proceedings.
Benjamin Hosp, Poorvi L. Vora