Deshpande, Prof. Jayant S., India

• Vol 3, No 3 (II) (2012): Special Issue June 2012 - Articles
  Formalization &Analysis of Electronics Voting Protocols by using Applied PI Calculus
  Abstract  PDF