Specification of Anonymity as a Secrecy Property in the ADM Logic – Homomorphic-based Voting Protocols - CentraleSupélec Access content directly
Conference Papers Year : 2009

Specification of Anonymity as a Secrecy Property in the ADM Logic – Homomorphic-based Voting Protocols

Abstract

Nowadays, it is a well-known fact that only formal methods can provide a proof that a given system meets its requirements. Their use become mandatory for critical systems such as electronic voting which must satisfy several and complex properties (receipt-freeness, verifiability). Among these properties, anonymity is probably the most desirable one. Formally, this property was mainly specified using the concept of indistinguishability which implies complex definitions (in terms of equivalence relations). In this paper, we give an alternative and simpler specification of anonymity property in the ADM logic. We specify anonymity as a secrecy property which represents the oldest and most understood property of security protocols. Our specification is specific to homomorphic-based voting schemes since in this case, voter’s anonymity rely on the secrecy of his vote.
No file

Dates and versions

hal-00349878 , version 1 (05-01-2009)

Identifiers

  • HAL Id : hal-00349878 , version 1

Cite

Mehdi Talbi, Valérie Viet Triem Tong, Adel Bouhoula. Specification of Anonymity as a Secrecy Property in the ADM Logic – Homomorphic-based Voting Protocols. International Conference on Availability, Reliability and Security, Mar 2009, Fukuoka, Japan. ⟨hal-00349878⟩
152 View
0 Download

Share

Gmail Facebook X LinkedIn More