How to cite this article:
Bo Meng , 2008. Formal Analysis of Key Properties in the Internet Voting Protocol Using Applied Pi Calculus. Information Technology Journal, 7: 1133-1140. DOI: 10.3923/itj.2008.1133.1140 URL: https://scialert.net/abstract/?doi=itj.2008.1133.1140
|