PDF Fulltext XML References Citation
How to cite this article
Bo Meng, Wei Huang and Jun Qin, 2010. Automatic Verification of Security Properties of Remote Internet Voting Protocol in Symbolic Model. Information Technology Journal, 9: 1521-1556.
DOI: 10.3923/itj.2010.1521.1556
URL: https://scialert.net/abstract/?doi=itj.2010.1521.1556
DOI: 10.3923/itj.2010.1521.1556
URL: https://scialert.net/abstract/?doi=itj.2010.1521.1556