How to cite this article:
Bo Meng , 2011. Refinement of Mechanized Proof of Security Properties of Remote Internet Voting Protocol in Applied PI Calculus with Proverif. Information Technology Journal, 10: 293-334.
DOI: 10.3923/itj.2011.293.334
URL: https://scialert.net/abstract/?doi=itj.2011.293.334
|