Evaluating Security of Voting Schemes in the Universal Composability Framework