id: 70919579
dt: a
an: 70919579
au: Talbi, Mehdi; Tong, Valérie Viet Triem; Bouhoula, Adel
ti: Specification of anonymity as a secrecy property in the ADM logic -
    homomorphic-based voting protocols
so: ARES, 281-288 (2009).
py: 2009
pu: 
la: EN
cc: 
ut: 
ci: 
li: doi:10.1109/ARES.2009.54