View of Formalization &Analysis of Electronics Voting Protocols by using Applied PI Calculus

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