Specification of Anonymity as a Secrecy Property in the ADM Logic - Homomorphic-Based Voting Protocols | IEEE Conference Publication | IEEE Xplore