Analysis of Security Requirements for Cryptographic Voting Protocols (Extended Abstract)