Bo Meng
School of Computer, South-Center University for Nationalities, Wuhan, 430074, Hubei, People`s Republic of China
PDF Fulltext XML References Citation
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
DOI: 10.3923/itj.2008.1133.1140
URL: https://scialert.net/abstract/?doi=itj.2008.1133.1140