![](/img/cover-not-exists.png)
[IEEE 2009 International Conference on Availability, Reliability and Security - Fukuoka, Japan (2009.03.16-2009.03.19)] 2009 International Conference on Availability, Reliability and Security - Specification of Anonymity as a Secrecy Property in the ADM Logic - Homomorphic-Based Voting Protocols
Talbi, Mehdi, Tong, Valérie Viet Triem, Bouhoula, AdelYear:
2009
Language:
english
DOI:
10.1109/ares.2009.54
File:
PDF, 358 KB
english, 2009