Return to Article Details Formalization &Analysis of Electronics Voting Protocols by using Applied PI Calculus Download Download PDF